Personal information

No personal information available

Activities

Collapse all

Works (39)

The Ginsburg–Sands theorem and computability theory

Advances in Mathematics
2024-05 | Journal article
DOI: 10.1016/j.aim.2024.109618
Part of ISSN: 0001-8708
Contributors: Heidi Benham; Andrew DeLapo; Damir D. Dzhafarov; Reed Solomon; Java Darleen Villano
Source: Self-asserted source
Damir Dzhafarov

Milliken’s Tree Theorem and Its Applications: A Computability-Theoretic Perspective

Memoirs of the American Mathematical Society
2024-01 | Journal article
DOI: 10.1090/memo/1457
Part of ISSN: 0065-9266
Part of ISSN: 1947-6221
Contributors: Paul-Elliot Anglès d’Auriac; Peter Cholak; Damir Dzhafarov; Benoît Monin; Ludovic Patey
Source: Self-asserted source
Damir Dzhafarov

On the first-order parts of problems in the Weihrauch degrees

Computability
2024-01-31 | Journal article
DOI: 10.3233/com-230446
Part of ISSN: 2211-3576
Part of ISSN: 2211-3568
Contributors: Damir D. Dzhafarov; Reed Solomon; Keita Yokoyama
Source: Self-asserted source
Damir Dzhafarov

Reverse Mathematics

Springer International Publishing
2022 | Book
DOI: 10.1007/978-3-031-11367-3
ISBN: 9783031113666
ISBN: 9783031113673
Part of ISSN: 2190-619X
Part of ISSN: 2190-6203
Contributors: Damir D. Dzhafarov; Carl Mummert
Source: Self-asserted source
Damir Dzhafarov

Reduction games, provability and compactness

Journal of Mathematical Logic
2022-12 | Journal article
DOI: 10.1142/s021906132250009x
Part of ISSN: 0219-0613
Part of ISSN: 1793-6691
Contributors: Damir D. Dzhafarov; Denis R. Hirschfeldt; Sarah Reitzes
Source: Self-asserted source
Damir Dzhafarov

Effectiveness for the Dual Ramsey Theorem

Notre Dame Journal of Formal Logic
2021-08-01 | Journal article
DOI: 10.1215/00294527-2021-0024
Part of ISSN: 0029-4527
Contributors: Damir Dzhafarov; Stephen Flood; Reed Solomon; Linda Westrick
Source: Self-asserted source
Damir Dzhafarov

COH, SRT 2 2 , and multiple functionals

Computability
2021-04-16 | Journal article
DOI: 10.3233/com-190261
Part of ISSN: 2211-3576
Part of ISSN: 2211-3568
Contributors: Damir D. Dzhafarov; Ludovic Patey
Source: Self-asserted source
Damir Dzhafarov
grade
Preferred source (of 2)‎

Some results concerning the SRT 2 2 vs. COH problem

Computability
2020-08-03 | Journal article
DOI: 10.3233/com-190251
Part of ISSN: 2211-3576
Part of ISSN: 2211-3568
Contributors: Peter A. Cholak; Damir D. Dzhafarov; Denis R. Hirschfeldt; Ludovic Patey
Source: Self-asserted source
Damir Dzhafarov

Ramsey’s theorem and products in the Weihrauch degrees

Computability
2020-05-13 | Journal article
DOI: 10.3233/com-180203
Part of ISSN: 2211-3576
Part of ISSN: 2211-3568
Contributors: Damir D. Dzhafarov; Jun Le Goh; Denis R. Hirschfeldt; Ludovic Patey; Arno Pauly
Source: Self-asserted source
Damir Dzhafarov

The determined property of Baire in reverse math

The Journal of Symbolic Logic
2020-03 | Journal article
DOI: 10.1017/jsl.2019.64
Part of ISSN: 0022-4812
Part of ISSN: 1943-5886
Contributors: ERIC P. ASTOR; DAMIR DZHAFAROV; ANTONIO MONTALBÁN; REED SOLOMON; LINDA BROWN WESTRICK
Source: Self-asserted source
Damir Dzhafarov

Joins in the strong Weihrauch degrees

Mathematical Research Letters
2019 | Journal article
DOI: 10.4310/mrl.2019.v26.n3.a5
Part of ISSN: 1073-2780
Part of ISSN: 1945-001X
Contributors: Damir D. Dzhafarov
Source: Self-asserted source
Damir Dzhafarov

The reverse mathematics of Hindman’s Theorem for sums of exactly two elements

Computability
2019-09-20 | Journal article
DOI: 10.3233/com-180094
Part of ISSN: 2211-3576
Part of ISSN: 2211-3568
Contributors: Barbara F. Csima; Damir D. Dzhafarov; Denis R. Hirschfeldt; Carl G. Jockusch, Jr.; Reed Solomon; Linda Brown Westrick
Source: Self-asserted source
Damir Dzhafarov

A note on the reverse mathematics of the Sorites

The Review of Symbolic Logic
2019-03 | Journal article
DOI: 10.1017/s1755020318000461
Part of ISSN: 1755-0203
Part of ISSN: 1755-0211
Contributors: DAMIR D. DZHAFAROV
Source: Self-asserted source
Damir Dzhafarov

The Complexity of Primes in Computable Unique Factorization Domains

Notre Dame Journal of Formal Logic
2018-01-01 | Journal article
DOI: 10.1215/00294527-2017-0024
Part of ISSN: 0029-4527
Contributors: Damir D. Dzhafarov; Joseph R. Mileti
Source: Self-asserted source
Damir Dzhafarov

Effectiveness of Hindman’s Theorem for Bounded Sums

Lecture Notes in Computer Science
2017 | Book chapter
DOI: 10.1007/978-3-319-50062-1_11
Part of ISBN: 9783319500614
Part of ISBN: 9783319500621
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Damir D. Dzhafarov; Carl G. Jockusch; Reed Solomon; Linda Brown Westrick
Source: Self-asserted source
Damir Dzhafarov

Coloring trees in reverse mathematics

Advances in Mathematics
2017-10 | Journal article
DOI: 10.1016/j.aim.2017.08.009
Part of ISSN: 0001-8708
Contributors: Damir D. Dzhafarov; Ludovic Patey
Source: Self-asserted source
Damir Dzhafarov

The uniform content of partial and linear orders

Annals of Pure and Applied Logic
2017-06 | Journal article
DOI: 10.1016/j.apal.2016.11.010
Part of ISSN: 0168-0072
Contributors: Eric P. Astor; Damir D. Dzhafarov; Reed Solomon; Jacob Suggs
Source: Self-asserted source
Damir Dzhafarov

Notions of robust information coding

Computability
2017-03-16 | Journal article
DOI: 10.3233/com-160059
Part of ISSN: 2211-3576
Part of ISSN: 2211-3568
Contributors: Damir D. Dzhafarov; Gregory Igusa
Source: Self-asserted source
Damir Dzhafarov

Strong reductions between combinatorial principles

The Journal of Symbolic Logic
2016-12 | Journal article
DOI: 10.1017/jsl.2016.1
Part of ISSN: 0022-4812
Part of ISSN: 1943-5886
Contributors: DAMIR D. DZHAFAROV
Source: Self-asserted source
Damir Dzhafarov

Genericity for Mathias forcing over general Turing ideals

Israel Journal of Mathematics
2016-10 | Journal article
DOI: 10.1007/s11856-016-1420-8
Part of ISSN: 0021-2172
Part of ISSN: 1565-8511
Contributors: Peter A. Cholak; Damir D. Dzhafarov; Mariya I. Soskova
Source: Self-asserted source
Damir Dzhafarov

Ramsey’s theorem for singletons and strong computable reducibility

Proceedings of the American Mathematical Society
2016-09-15 | Journal article
DOI: 10.1090/proc/13315
Part of ISSN: 0002-9939
Part of ISSN: 1088-6826
Contributors: Damir Dzhafarov; Ludovic Patey; Reed Solomon; Linda Westrick
Source: Self-asserted source
Damir Dzhafarov
grade
Preferred source (of 3)‎

On uniform relationships between combinatorial problems

Transactions of the American Mathematical Society
2015-04-09 | Journal article
DOI: 10.1090/tran/6465
Part of ISSN: 0002-9947
Part of ISSN: 1088-6850
Contributors: François Dorais; Damir Dzhafarov; Jeffry Hirst; Joseph Mileti; Paul Shafer
Source: Self-asserted source
Damir Dzhafarov

Cohesive avoidance and strong reductions

Proceedings of the American Mathematical Society
2014-10-23 | Journal article
DOI: 10.1090/s0002-9939-2014-12261-1
Part of ISSN: 0002-9939
Part of ISSN: 1088-6826
Contributors: Damir D. Dzhafarov
Source: Self-asserted source
Damir Dzhafarov

Generics for computable Mathias forcing

Annals of Pure and Applied Logic
2014-09 | Journal article
DOI: 10.1016/j.apal.2014.04.011
Part of ISSN: 0168-0072
Contributors: Peter A. Cholak; Damir D. Dzhafarov; Jeffry L. Hirst; Theodore A. Slaman
Source: Self-asserted source
Damir Dzhafarov

On the strength of the finite intersection principle

Israel Journal of Mathematics
2013-08 | Journal article
DOI: 10.1007/s11856-012-0150-9
Part of ISSN: 0021-2172
Part of ISSN: 1565-8511
Contributors: Damir D. Dzhafarov; Carl Mummert
Source: Self-asserted source
Damir Dzhafarov

Limits to joining with generics and randoms

Proceedings of the 12th Asian Logic Conference
2013-06 | Book chapter
DOI: 10.1142/9789814449274_0004
Contributors: Adam R. Day; Damir D. Dzhafarov
Source: Self-asserted source
Damir Dzhafarov

Computably Enumerable Partial Orders

Computability
2012 | Journal article
DOI: 10.3233/com-12013
Part of ISSN: 2211-3568
Contributors: Peter A. Cholak; Damir D. Dzhafarov; Noah Schweber; Richard A. Shore
Source: Self-asserted source
Damir Dzhafarov

On Mathias Generic Sets

Lecture Notes in Computer Science
2012 | Book chapter
DOI: 10.1007/978-3-642-30870-3_14
Part of ISBN: 9783642308697
Part of ISBN: 9783642308703
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Peter A. Cholak; Damir D. Dzhafarov; Jeffry L. Hirst
Source: Self-asserted source
Damir Dzhafarov

Reverse mathematics and properties of finite character

Annals of Pure and Applied Logic
2012-09 | Journal article
DOI: 10.1016/j.apal.2012.01.007
Part of ISSN: 0168-0072
Contributors: Damir D. Dzhafarov; Carl Mummert
Source: Self-asserted source
Damir Dzhafarov

The equivalence of two ways of computing distances from dissimilarities for arbitrary sets of stimuli

Journal of Mathematical Psychology
2011-12 | Journal article
DOI: 10.1016/j.jmp.2011.09.003
Part of ISSN: 0022-2496
Contributors: Damir D. Dzhafarov; Ehtibar N. Dzhafarov
Source: Self-asserted source
Damir Dzhafarov

Infinite Saturated Orders

Order
2011-07 | Journal article
DOI: 10.1007/s11083-010-9160-6
Part of ISSN: 0167-8094
Part of ISSN: 1572-9273
Contributors: Damir D. Dzhafarov
Source: Self-asserted source
Damir Dzhafarov

Stable Ramsey's Theorem and Measure

Notre Dame Journal of Formal Logic
2011-01-01 | Journal article
DOI: 10.1215/00294527-2010-039
Part of ISSN: 0029-4527
Contributors: Damir D. Dzhafarov
Source: Self-asserted source
Damir Dzhafarov

Ramsey’s theorem for trees: the polarized tree theorem and notions of stability

Archive for Mathematical Logic
2010-04 | Journal article
DOI: 10.1007/s00153-010-0179-6
Part of ISSN: 0933-5846
Part of ISSN: 1432-0665
Contributors: Damir D. Dzhafarov; Jeffry L. Hirst; Tamara J. Lakins
Source: Self-asserted source
Damir Dzhafarov

Sorites Without Vagueness I: Classificatory Sorites

Theoria
2010-03 | Journal article
DOI: 10.1111/j.1755-2567.2009.01056.x
Part of ISSN: 0040-5825
Part of ISSN: 1755-2567
Contributors: EHTIBAR N. DZHAFAROV; DAMIR D. DZHAFAROV
Source: Self-asserted source
Damir Dzhafarov

Sorites Without Vagueness II: Comparative Sorites

Theoria
2010-03 | Journal article
DOI: 10.1111/j.1755-2567.2009.01057.x
Part of ISSN: 0040-5825
Part of ISSN: 1755-2567
Contributors: EHTIBAR N. DZHAFAROV; DAMIR D. DZHAFAROV
Source: Self-asserted source
Damir Dzhafarov

Π 1 0 Classes, Peano Arithmetic, Randomness, and Computable Domination

Notre Dame Journal of Formal Logic
2010-01-01 | Journal article
DOI: 10.1215/00294527-2010-009
Part of ISSN: 0029-4527
Contributors: David E. Diamondstone; Damir D. Dzhafarov; Robert I. Soare
Source: Self-asserted source
Damir Dzhafarov

Ramsey's theorem and cone avoidance

The Journal of Symbolic Logic
2009-06 | Journal article
DOI: 10.2178/jsl/1243948327
Part of ISSN: 0022-4812
Part of ISSN: 1943-5886
Contributors: Damir D. Dzhafarov; Carl G. Jockusch
Source: Self-asserted source
Damir Dzhafarov

The polarized Ramsey’s theorem

Archive for Mathematical Logic
2009-04 | Journal article
DOI: 10.1007/s00153-008-0108-0
Part of ISSN: 0933-5846
Part of ISSN: 1432-0665
Contributors: Damir D. Dzhafarov; Jeffry L. Hirst
Source: Self-asserted source
Damir Dzhafarov

Definitions of finiteness based on order properties

Fundamenta Mathematicae
2006 | Journal article
DOI: 10.4064/fm189-2-5
Part of ISSN: 0016-2736
Part of ISSN: 1730-6329
Contributors: Omar De la Cruz; Damir D. Dzhafarov; Eric J. Hall
Source: Self-asserted source
Damir Dzhafarov
How many people are using ORCID?