Damir Dzhafarov
Associate Professor/Mathematics
Are you Damir Dzhafarov?
How to update your information.
Scholarly Contributions
48 Scholarly Contributions
A note on the reverse mathematics of the sorites
Damir Dzhafarov
, (2019). A note on the reverse mathematics of the sorites, Review of Symbolic Logic
Research Type: Journal Article
COH, SRT^2_2, and multiple functionals
Damir Dzhafarov,
COH, SRT^2_2, and multiple functionals
Research Type: Journal Article
Cohesive avoidance and strong reductions
Damir Dzhafarov
, (2015). Cohesive avoidance and strong reductions, Proc. Amer. Math. Soc., vol. 143, iss. 2, pp. 869–876
Research Type: Journal Article
Coloring trees in reverse mathematics
Damir Dzhafarov
, (2017). Coloring trees in reverse mathematics, Advances in Mathematics, vol. 318, pp. 497–514
Research Type: Journal Article
Combinatorial principles in reverse mathematics
Damir Dzhafarov
, (2014). Combinatorial principles in reverse mathematics, Computability Theory and Foundations of Mathematics (Tokyo, Japan), World Wide
Research Type: Poster/Presentation
Computable combinatorics: the past, present, and future
Damir Dzhafarov
, (2017). Computable combinatorics: the past, present, and future, Seventeenth Latin American Symposium on Mathematical Logic, Mexico
Research Type: Poster/Presentation
Computably enumerable partial orders.
Damir Dzhafarov
, (2012). Computably enumerable partial orders., Computability, vol. 1, iss. 2, pp. 99-107
Research Type: Journal Article
Definitions of finiteness based on order properties
Damir Dzhafarov,
, (2006). Definitions of finiteness based on order properties, Fund. Math., vol. 189, iss. 2, pp. 155–172
Research Type: Journal Article
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
First-order parts of Weihrauch problems
Damir Dzhafarov
, (2019). First-order parts of Weihrauch problems, 2019 Weak Arithmetic Days (JAF 38)
Research Type: Poster/Presentation
Genericity for Mathias forcing over general Turing ideals
Damir Dzhafarov
, (2016). Genericity for Mathias forcing over general Turing ideals, Israel J. Math., vol. 216, iss. 2, pp. 583–604
Research Type: Journal Article
Generics for computable Mathias forcing
Damir Dzhafarov,
, (2014). Generics for computable Mathias forcing, Ann. Pure Appl. Logic, vol. 165, iss. 9, pp. 1418–1428
Research Type: Journal Article
Infinite Saturated Orders
Damir Dzhafarov
, (2011). Infinite Saturated Orders, Order, vol. 28, iss. 2, pp. 163–172
Research Type: Journal Article
Joins in the strong Weihrauch degrees
Damir Dzhafarov
, (2019). Joins in the strong Weihrauch degrees, Mathematical Research Letters
Research Type: Journal Article
Limits to joing with generics and randoms
Damir Dzhafarov,
, (2013). Limits to joing with generics and randoms, pp. 76–88, World Sci. Publ., Hackensack, NJ
Research Type: Other Scholarly Work
Limits to joining with generics and randoms
Damir Dzhafarov
, (2013). Limits to joining with generics and randoms, New England Recursion and Definability Seminars (Dartmouth College), North America
Research Type: Poster/Presentation
New directions in reverse mathematics
Damir Dzhafarov
, (2014). New directions in reverse mathematics, CUNY Logic Workshop (NYC)
Research Type: Poster/Presentation
Notions of robust information coding
Damir Dzhafarov,
, (2017). Notions of robust information coding, Computability, vol. 6, iss. 2, pp. 105–124,
Research Type: Journal Article
On Mathias generic sets
Damir Dzhafarov,
, (2012). On Mathias generic sets, How the world computes, pp. 129–138, Springer, Heidelberg
Research Type: Book Chapter
On the strength of the finite intersection principle
Damir Dzhafarov,
, (2013). On the strength of the finite intersection principle, Israel J. Math., vol. 196, iss. 1, pp. 345–361
Research Type: Journal Article
On uniform relationships between combinatorial problems
Damir Dzhafarov,
, (2016). On uniform relationships between combinatorial problems, Trans. Amer. Math. Soc., vol. 368, iss. 2, pp. 1321–1359
Research Type: Journal Article
Pi^0_1 classes, Peano arithmetic, randomness, and computable domination
Damir Dzhafarov
, (2010). Pi^0_1 classes, Peano arithmetic, randomness, and computable domination, Notre Dame J. Form. Log., vol. 51, iss. 1, pp. 127–159
Research Type: Journal Article
Ramsey's theorem and products in the Weihrauch degrees
Damir Dzhafarov,
, (2020). Ramsey's theorem and products in the Weihrauch degrees, Computability
Research Type: Journal Article
Ramsey’s theorem and cone avoidance
Damir Dzhafarov
, (2009). Ramsey’s theorem and cone avoidance, J. Symbolic Logic, vol. 74, iss. 2, pp. 557–578
Research Type: Journal Article
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 for trees: the polarized tree theorem and notions of stability
Damir Dzhafarov,
, (2010). Ramsey’s theorem for trees: the polarized tree theorem and notions of stability, Arch. Math. Logic, vol. 49, iss. 3, pp. 399–415
Research Type: Journal Article
Reverse mathematics and properties of finite character
Damir Dzhafarov
, (2012). Reverse mathematics and properties of finite character, Ann. Pure Appl. Logic, vol. 163, iss. 9, pp. 1243–1251
Research Type: Journal Article
Reverse mathematics and the game-theoretic framework
Damir Dzhafarov
, (2020). Reverse mathematics and the game-theoretic framework, Secret Computability Meeting, France
Research Type: Poster/Presentation
Robust notions of information coding
Damir Dzhafarov
, (2014). Robust notions of information coding, New England Recursion and Definability Seminars (Olin College), North America
Research Type: Poster/Presentation
Soare Robert I., Turing Computability, Theory and Applications of Computability, Springer-Verlag, Berlin, Heidelberg, 2016, xxxvi 263 pp.
Damir Dzhafarov
, (2017). Soare Robert I., Turing Computability, Theory and Applications of Computability, Springer-Verlag, Berlin, Heidelberg, 2016, xxxvi 263 pp., The Bulletin of Symbolic Logic, vol. 23, iss. 1, pp. 113–115, Cambridge University Press
Research Type: Journal Article
Some results concerning the SRT^2_2 vs. COH problem
Damir Dzhafarov
Some results concerning the SRT^2_2 vs. COH problem, Computability
Research Type: Journal Article
Some results on the SRT22 vs. COH problem
Damir Dzhafarov
, (2019). Some results on the SRT22 vs. COH problem, Langenhop Lecture and SIU Mathematics Conference
Research Type: Poster/Presentation
Sorites Without Vagueness I: Classificatory Sorites
Damir Dzhafarov,
, (2010). Sorites Without Vagueness I: Classificatory Sorites, Theoria, vol. 76, iss. 1, pp. 24-Apr
Research Type: Journal Article
Sorites Without Vagueness II: Comparative Sorites
Damir Dzhafarov,
, (2010). Sorites Without Vagueness II: Comparative Sorites, Theoria, vol. 76, iss. 1, pp. 25-53
Research Type: Journal Article
Stable Ramsey’s theorem and measure
Damir Dzhafarov
, (2011). Stable Ramsey’s theorem and measure, Notre Dame J. Form. Log., vol. 52, iss. 1, pp. 95–112
Research Type: Journal Article
Strong reductions between combinatorial principles
Damir Dzhafarov
, (2016). Strong reductions between combinatorial principles, The Journal of Symbolic Logic, vol. 81, iss. 4, pp. 1405–1431, Cambridge University Press
Research Type: Journal Article
The Lovász local lemma and restrictions of Hindman's theorem
Damir Dzhafarov
, (2018). The Lovász local lemma and restrictions of Hindman's theorem, Workshop on Computability Theory and its Applications, University of Waterloo/Fields Institute
Research Type: Poster/Presentation
The RM Zoo, website: http://rmzoo.uconn.edu
Damir Dzhafarov
, (2015). The RM Zoo, website: http://rmzoo.uconn.edu
Research Type: Other Scholarly Work
The complexity of primes in computable UFDs
Damir Dzhafarov,
, (2018). The complexity of primes in computable UFDs, Notre Dame J. Formal Logic, vol. 59, pp. 139-156
Research Type: Journal Article
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 equivalence of two ways of computing distances from dissimilarities for arbitrary sets of stimuli
Damir Dzhafarov,
, (2011). The equivalence of two ways of computing distances from dissimilarities for arbitrary sets of stimuli, J. Math. Psychol., vol. 55, iss. 6, pp. 469-472
Research Type: Journal Article
The polarized Ramsey’s theorem
Damir Dzhafarov
, (2009). The polarized Ramsey’s theorem, Arch. Math. Logic, vol. 48, iss. 2, pp. 141–157
Research Type: Journal Article
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 reverse sorites
Damir Dzhafarov
, (2019). The reverse sorites, AMS Spring Central and Western Joint Sectional, Special Session on Computability, Complexity, and Learning
Research Type: Poster/Presentation
The sorites paradox: a behavioral approach
Damir Dzhafarov
, (2013). The sorites paradox: a behavioral approach, Qualitative Mathematics for the Social Sciences: Mathematical Models for Research on Cultural Dynamics, Routledge
Research Type: Book Chapter
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 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