Scholarly Contributions
66 Scholarly Contributions
Weihrauch reducibility and Ramsey theorems
, (2016). Weihrauch reducibility and Ramsey theorems, CUNY Logic Workshop
Research Type: Poster/Presentation
Weakly cop-win graphs and dominating orders
, (2021). Weakly cop-win graphs and dominating orders, Computability theory and effective mathematics, AMS Special Session
Research Type: Poster/Presentation
Turing degrees of orders on torsion free abelian groups
, (2012). Turing degrees of orders on torsion free abelian groups, Connecticut Logic Seminar
Research Type: Poster/Presentation
The uniform content of partial and linear orders
Damir Dzhafarov
, (2017). The uniform content of partial and linear orders, Ann. Pure Appl. Logic, vol. 168, iss. 6, pp. 1153–1171
Research Type: Journal Article
The uniform content of ADS
Damir Dzhafarov,
, (2016). The uniform content of ADS, 2016 North American Annual Meeting of the Association for Symbolic Logic, North America
Research Type: Poster/Presentation
The reverse mathematics of Hindman's theorem for sums of exactly two elements.
Damir Dzhafarov,
, (2020). The reverse mathematics of Hindman's theorem for sums of exactly two elements., Computability
Research Type: Journal Article
The random graph
, (2019). The random graph, UConn Math Club
Research Type: Poster/Presentation
The determined property of Baire in reverse math
Damir Dzhafarov
, (2020). The determined property of Baire in reverse math, Journal of Symbolic Logic
Research Type: Journal Article
The complexity of central terms in computable nilpotent groups
, (2011). The complexity of central terms in computable nilpotent groups, pp. 667-678, Annals of Pure and Applied Logic 162 (8), Elsevier
Research Type: Journal Article
Strong computable reductions and Ramsey's Theorem
, (2015). Strong computable reductions and Ramsey's Theorem, CT Logic Seminar
Research Type: Poster/Presentation
Strong computable reducibility and versions of Ramsey's Theorem
, (2016). Strong computable reducibility and versions of Ramsey's Theorem, Southeast Logic Symposium 2016
Research Type: Poster/Presentation
Stability in reverse mathematics and computable reductions
, (2016). Stability in reverse mathematics and computable reductions, Computability in Europe 2016, France
Research Type: Poster/Presentation
Set theory, orders of infinity and the independence of the Continuum Hypothesis
, (2013). Set theory, orders of infinity and the independence of the Continuum Hypothesis, REU Sigma Seminar
Research Type: Poster/Presentation
Separating principles below Ramsey's Theorem for Pairs
, (2013). Separating principles below Ramsey's Theorem for Pairs, vol. 13, iss. 2, pp. 44 pages, Journal of Mathematical Logic
Research Type: Journal Article
Separating CAC and ADS in reverse mathematics
, (2013). Separating CAC and ADS in reverse mathematics, Connecticut Logic Seminar
Research Type: Poster/Presentation
Roots of polynomials in fields of generalized power series
, (1964). Roots of polynomials in fields of generalized power series, World Scientific
Research Type: Conference Proceedings
Revisiting Remmel's analysis of computable categoricity for linear orders
, (2019). Revisiting Remmel's analysis of computable categoricity for linear orders, 2019 Joint Mathematics Meeting
Research Type: Poster/Presentation
Revisiting EM and ADS
, (2015). Revisiting EM and ADS, CT Logic Seminar
Research Type: Poster/Presentation
Reverse mathematics: An introduction
, (2011). Reverse mathematics: An introduction, UConn Logic Group
Research Type: Poster/Presentation
Reverse mathematics, effectiveness and the Dual Ramsey theorem
, (2017). Reverse mathematics, effectiveness and the Dual Ramsey theorem, 2017 Annual Association for Symbolic Logic Meeting
Research Type: Poster/Presentation
Reverse mathematics and infinite traceable graphs
, (2012). Reverse mathematics and infinite traceable graphs, pp. 18-28, Math Logic Quarterly 58 (1-2), Wiley
Research Type: Journal Article
Reverse mathematics and combinatorics
, (2012). Reverse mathematics and combinatorics, CCSU Math Department Colloquium
Research Type: Poster/Presentation
Reverse math and the Dual Ramsey Theorem
, (2014). Reverse math and the Dual Ramsey Theorem, CT Logic Seminar
Research Type: Poster/Presentation
Relatively decidable theories
, (2019). Relatively decidable theories, Special Session on Computability Theory, Canadian Mathematical Society, Canada
Research Type: Poster/Presentation
Ramsey’s theorem for singletons and strong computable reducibility
Damir Dzhafarov,
, (2017). Ramsey’s theorem for singletons and strong computable reducibility, Proc. Amer. Math. Soc., vol. 145, iss. 3, pp. 1343–1355
Research Type: Journal Article
Ramsey's Theorem and infinite traceable graphs
, (2014). Ramsey's Theorem and infinite traceable graphs, New England Recursion and Definability Seminar
Research Type: Poster/Presentation
Ramsey theory and regularity properties
, (2012). Ramsey theory and regularity properties, ECE Math Instructors Workshop
Research Type: Poster/Presentation
Ramsey style theorems and subsystems of second order arithmetic
, (2013). Ramsey style theorems and subsystems of second order arithmetic, UConn Logic Group
Research Type: Poster/Presentation
RT^1_k, SRT^2_l and sc-reducibility
, (2015). RT^1_k, SRT^2_l and sc-reducibility, AMS Sectional Meeting, Loyola University
Research Type: Poster/Presentation
Preparing for graduate school
, (2019). Preparing for graduate school, REU Sigma seminar
Research Type: Poster/Presentation
Partial results on the complexity of roots of polynomials over Hahn fields and Puiseux fields
, (2018). Partial results on the complexity of roots of polynomials over Hahn fields and Puiseux fields, Oberwolfach meeting on Computability Theory, Germany
Research Type: Poster/Presentation
Ordering free products in reverse mathematics
, (2012). Ordering free products in reverse mathematics, Templeton Press (online) and College Publications London, http://foundationaladventures.com
Research Type: Conference Proceedings
Ordered abelian groups, generalized series and integer parts
, (2017). Ordered abelian groups, generalized series and integer parts, Aspects of Computation, Singapore
Research Type: Poster/Presentation
Ordered abelian groups and Hahn's theorem
, (2017). Ordered abelian groups and Hahn's theorem, Connecticut Logic Seminar
Research Type: Poster/Presentation
On the effectiveness of symmetry breaking
, (2014). On the effectiveness of symmetry breaking, pp. 314-323, Springer, in Language, Life, Limits (Proceedings of CiE 2014)
Research Type: Conference Proceedings
Nonstandard analysis
, (2012). Nonstandard analysis, UConn Math Club
Research Type: Poster/Presentation
Model completeness and relative decidability of countable structures
, (2018). Model completeness and relative decidability of countable structures, Connecticut Logic Seminar
Research Type: Poster/Presentation
Minimal wit-degrees cannot have c.e. Turing degree
, (2016). Minimal wit-degrees cannot have c.e. Turing degree, Connecticut Logic Seminar
Research Type: Poster/Presentation
Minimal truth table degrees and computably enumerable Turing degrees
, (2020). Minimal truth table degrees and computably enumerable Turing degrees, Memoirs of the American Mathematical Society, vol. 265, iss. 1284, Jan-90, American Mathematical Society
Research Type: Journal Article
Lowness notions, measure and domination
, (2012). Lowness notions, measure and domination, vol. 85 (3), pp. 869-888, Journal of the London Mathematical Society
Research Type: Journal Article
Low for isomorphism degrees, exact pairs and computable traceability
, (2020). Low for isomorphism degrees, exact pairs and computable traceability, Connecticut Logic Seminar
Research Type: Poster/Presentation
Low for isomorphism degrees
, (2014). Low for isomorphism degrees, vol. 3, iss. 2, pp. 73-89, Computability, IOS Press
Research Type: Journal Article
Logic and the random graph
, (2015). Logic and the random graph, Sigma seminar
Research Type: Poster/Presentation
Local computability for ordinals
, (2013). Local computability for ordinals, vol. 7921, iss. 7921, pp. 161-170, Lecture Notes in Computer Science
Research Type: Conference Proceedings
Jump degrees of torsion free abelian groups
, (2012). Jump degrees of torsion free abelian groups, vol. 77 (4), pp. 1067-1100, Journal of Symbolic Logic
Research Type: Journal Article
Jump degrees for torsion free abelian groups
, (2012). Jump degrees for torsion free abelian groups, American Mathematical Society 2012 Spring Eastern Sectional Meeting
Research Type: Poster/Presentation
Introduction to Ramsey Theory
, (2011). Introduction to Ramsey Theory, SIGMA Seminar
Research Type: Poster/Presentation
Hilbert's First Problem
, (2019). Hilbert's First Problem, UConn Math Club
Research Type: Poster/Presentation
Finding order in randomness: Ramsey style regularity theorems
, (2016). Finding order in randomness: Ramsey style regularity theorems, Wellesley College Math Department Colloquium
Research Type: Poster/Presentation
Examples of low for isomorphism degrees
, (2013). Examples of low for isomorphism degrees, BIRS 5 day workshop: Computable Model Theory
Research Type: Poster/Presentation
Enhanced catalysis by activesite mutagenesis at aspartic acid 153 in Escherichia coli alkaline phosphatase
, (1992). Enhanced catalysis by activesite mutagenesis at aspartic acid 153 in Escherichia coli alkaline phosphatase, vol. 31, iss. 31, pp. 8196, Biochemistry, http://www.scopus.com/inward/record.url?eid=2-s2.0-00266573584045fc866ed82d2ff0cb09e923a02764aa
Research Type: Conference Proceedings
Effectiveness of Hindman’s theorem for bounded sums
Damir Dzhafarov
, (2017). Effectiveness of Hindman’s theorem for bounded sums, Proceedings of the International Symposium on Computability and Complexity (in honour of Rod Downey’s 60th birthday), Springer
Research Type: Book Chapter
Effectiveness aspects of Hindman's Theorem
, (2020). Effectiveness aspects of Hindman's Theorem, Computability Seminar, MSRI (online)
Research Type: Poster/Presentation
Effectiveness and the Dual Ramsey Theorem
, (2016). Effectiveness and the Dual Ramsey Theorem, American Math Society Meeting, Saint Thomas University
Research Type: Poster/Presentation
Degrees which are low for isomorphism
Degrees which are low for isomorphism, TBD
Research Type: Journal Article
Degrees of orders on torsion free abelian groups
, (2013). Degrees of orders on torsion free abelian groups, vol. 164, iss. 8-Jul, pp. 822-836, Annals of Pure and Applied Logic
Research Type: Journal Article
Degree structures and computational complexity
, (2012). Degree structures and computational complexity, Sigma Seminar
Research Type: Poster/Presentation
Defining functions by transfinite recursion
, (2016). Defining functions by transfinite recursion, UConn Math Club
Research Type: Poster/Presentation
Counterexamples in Reverse Mathematics Using Iterated Forcing
, (2012). Counterexamples in Reverse Mathematics Using Iterated Forcing, Cornell Logic Seminar
Research Type: Poster/Presentation
Computable traceability, exact pairs and lowness for isomorphism
, (2019). Computable traceability, exact pairs and lowness for isomorphism, Workshop on Computability Theory, AMS Special Session
Research Type: Poster/Presentation
Computable reductions and reverse mathematics
, (2016). Computable reductions and reverse mathematics, Lecture Notes in Computer Science, vol. 9709, iss. 9709, pp. 182-191, Springer-Verlag
Research Type: Conference Proceedings
Computable ordered abelian groups and generalized series
, (2015). Computable ordered abelian groups and generalized series, AMS Special Session, Georgetown University
Research Type: Poster/Presentation
Computability, randomness and generosity
, (2021). Computability, randomness and generosity, SIGMA seminar
Research Type: Poster/Presentation
Computability in Cantor Space and in Orderings of Abelian Groups
, (2014). Computability in Cantor Space and in Orderings of Abelian Groups, Joint Math Meeting special session
Research Type: Poster/Presentation
Cappable CEA sets and Ramsey's Theorem
, (2012). Cappable CEA sets and Ramsey's Theorem, pp. 114-127, Proceedings of the 11th Asian Logic Conference, World Scientific
Research Type: Conference Proceedings
Baire codes for Borel sets in reverse mathematics
, (2017). Baire codes for Borel sets in reverse mathematics, Midwest Computability Seminar
Research Type: Poster/Presentation