Damir D. Dzhafarov

Generating author description...

All published works

Action	Title	Year	Authors
+	THE TREE PIGEONHOLE PRINCIPLE IN THE WEIHRAUCH DEGREES	2025	Damir D. Dzhafarov Reed Solomon Manlio Valenti
+ PDF Chat	Effectiveness and strong graph indivisibility	2024	Damir D. Dzhafarov Reed Solomon Andrea Volpi
+ PDF Chat	The Ginsburg–Sands theorem and computability theory	2024	Heidi Benham Andrew DeLapo Damir D. Dzhafarov Reed Solomon Java Darleen Villano
+ PDF Chat	The Ginsburg--Sands theorem and computability theory	2024	Heidi Benham Andrew De Lapo Damir D. Dzhafarov Reed Solomon Java Darleen Villano
+ PDF Chat	On the first-order parts of problems in the Weihrauch degrees	2024	Damir D. Dzhafarov Reed Solomon Keita Yokoyama
+ PDF Chat	Milliken’s Tree Theorem and Its Applications: A Computability-Theoretic Perspective	2024	Paul-Elliot Anglès d’Auriac Peter Cholak Damir D. Dzhafarov Benoît Monin Ludovic Patey
+	On the first-order parts of problems in the Weihrauch degrees	2023	Damir D. Dzhafarov Reed Solomon Keita Yokoyama
+	The tree pigeonhole principle in the Weihrauch degrees	2023	Damir D. Dzhafarov Reed Solomon Manlio Valenti
+ PDF Chat	Reduction games, provability and compactness	2022	Damir D. Dzhafarov Denis R. Hirschfeldt Sarah C. Reitzes
+	Introduction	2022	Damir D. Dzhafarov Carl Mummert
+	Instance–solution problems	2022	Damir D. Dzhafarov Carl Mummert
+	Ramsey’s theorem	2022	Damir D. Dzhafarov Carl Mummert
+	Forcing	2022	Damir D. Dzhafarov Carl Mummert
+ PDF Chat	Effectiveness for the Dual Ramsey Theorem	2021	Damir D. Dzhafarov Stephen Flood Reed Solomon Linda Brown Westrick
+ PDF Chat	COH, SRT 2 2 , and multiple functionals	2020	Damir D. Dzhafarov Ludovic Patey
+ PDF Chat	Some results concerning the SRT 2 2 vs. COH problem	2020	Peter Cholak Damir D. Dzhafarov Denis R. Hirschfeldt Ludovic Patey
+ PDF Chat	Ramsey’s theorem and products in the Weihrauch degrees	2020	Damir D. Dzhafarov Jun Le Goh Denis R. Hirschfeldt Ludovic Patey Arno Pauly
+ PDF Chat	Ramsey's theorem and products in the Weihrauch degrees	2020	Damir D. Dzhafarov Jun Le Goh Denis R. Hirschfeldt Ludovic Patey Arno Pauly
+	Milliken's tree theorem and its applications: a computability-theoretic perspective	2020	Paul-Elliot Anglès d’Auriac Peter Cholak Damir D. Dzhafarov Benoît Monin Ludovic Patey
+	Reduction games, provability, and compactness	2020	Damir D. Dzhafarov Denis R. Hirschfeldt Sarah C. Reitzes
+ PDF Chat	THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH	2019	Eric P. Astor Damir D. Dzhafarov Antonio Montalbán Reed Solomon Linda Brown Westrick
+	Some results concerning the $\mathsf{SRT}^2_2$ vs. $\mathsf{COH}$ problem	2019	Peter Cholak Damir D. Dzhafarov Denis R. Hirschfeldt Ludovic Patey
+	COH, SRT22, and multiple functionals	2019	Damir D. Dzhafarov Ludovic Patey
+ PDF Chat	Joins in the strong Weihrauch degrees	2019	Damir D. Dzhafarov
+	COH, SRT22, and multiple functionals	2019	Damir D. Dzhafarov Ludovic Patey
+ PDF Chat	A NOTE ON THE REVERSE MATHEMATICS OF THE SORITES	2018	Damir D. Dzhafarov
+ PDF Chat	The reverse mathematics of Hindman’s Theorem for sums of exactly two elements	2018	Barbara F. Csima Damir D. Dzhafarov Denis R. Hirschfeldt Carl G. Jockusch Reed Solomon Linda Brown Westrick
+	The reverse mathematics of Hindman's theorem for sums of exactly two elements	2018	Barbara F. Csima Damir D. Dzhafarov Denis R. Hirschfeldt Carl G. Jockusch Linda Brown Westrick
+ PDF Chat	The Complexity of Primes in Computable Unique Factorization Domains	2018	Damir D. Dzhafarov Joseph R. Mileti
+	The reverse mathematics of Hindman's theorem for sums of exactly two elements	2018	Barbara F. Csima Damir D. Dzhafarov Denis R. Hirschfeldt Jr. Jockusch Reed Solomon Linda Brown Westrick
+	Effectiveness for the Dual Ramsey Theorem	2017	Damir D. Dzhafarov Stephen Flood Linda Brown Westrick
+ PDF Chat	Coloring trees in reverse mathematics	2017	Damir D. Dzhafarov Ludovic Patey
+	Joins in the strong Weihrauch degrees	2017	Damir D. Dzhafarov
+ PDF Chat	Notions of robust information coding	2017	Damir D. Dzhafarov Gregory Igusa
+	Joins in the strong Weihrauch degrees	2017	Damir D. Dzhafarov
+	Effectiveness for the Dual Ramsey Theorem	2017	Damir D. Dzhafarov Stephen Flood Reed Solomon Linda Brown Westrick
+	STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES	2016	Damir D. Dzhafarov
+ PDF Chat	Effectiveness of Hindman’s Theorem for Bounded Sums	2016	Damir D. Dzhafarov Carl G. Jockusch Reed Solomon Linda Brown Westrick
+	The uniform content of partial and linear orders	2016	Eric P. Astor Damir D. Dzhafarov Reed Solomon Jacob Suggs
+	Genericity for Mathias forcing over general Turing ideals	2016	Peter Cholak Damir D. Dzhafarov Mariya I. Soskova
+	Coloring trees in reverse mathematics	2016	Damir D. Dzhafarov Ludovic Patey
+	Ramsey’s theorem for singletons and strong computable reducibility	2016	Damir D. Dzhafarov Ludovic Patey Reed Solomon Linda Brown Westrick
+	The uniform content of partial and linear orders	2016	Eric P. Astor Damir D. Dzhafarov Jacob Suggs
+	Effectiveness of Hindman's theorem for bounded sums	2016	Damir D. Dzhafarov Carl G. Jockusch Linda Brown Westrick
+	Ramsey's theorem for singletons and strong computable reducibility	2016	Damir D. Dzhafarov Ludovic Patey Linda Brown Westrick
+	Coloring trees in reverse mathematics	2016	Damir D. Dzhafarov Ludovic Patey
+	Effectiveness of Hindman's theorem for bounded sums	2016	Damir D. Dzhafarov Jr. Jockusch Reed Solomon Linda Brown Westrick
+	Ramsey's theorem for singletons and strong computable reducibility	2016	Damir D. Dzhafarov Ludovic Patey Reed Solomon Linda Brown Westrick
+	The uniform content of partial and linear orders	2016	Eric P. Astor Damir D. Dzhafarov Reed Solomon Jacob Suggs
+	On uniform relationships between combinatorial problems	2015	François G. Dorais Damir D. Dzhafarov Jeffry L. Hirst Joseph Mileti Paul Shafer
+	Classificatory Sorites, Probabilistic Supervenience, and Rule-Making.	2015	Damir D. Dzhafarov Ehtibar N. Dzhafarov
+	Generics for Mathias forcing over general Turing ideals	2015	Peter Cholak Damir D. Dzhafarov Mariya I. Soskova
+	Strong reductions and combinatorial principles	2015	Damir D. Dzhafarov
+	Classificatory Sorites, Probabilistic Supervenience, and Rule-Making	2015	Damir D. Dzhafarov Ehtibar N. Dzhafarov
+ PDF Chat	Cohesive avoidance and strong reductions	2014	Damir D. Dzhafarov
+	Generics for computable Mathias forcing	2014	Peter Cholak Damir D. Dzhafarov Jeffry L. Hirst Theodore A. Slaman
+	Notions of robust information coding	2014	Damir D. Dzhafarov Gregory Igusa
+ PDF Chat	Limits to joining with generics and randoms	2013	Adam R. Day Damir D. Dzhafarov
+	Cohesive avoidance and arithmetical sets	2012	Damir D. Dzhafarov
+	On uniform relationships between combinatorial problems	2012	François G. Dorais Damir D. Dzhafarov Jeffry L. Hirst Joseph R. Mileti Paul Shafer
+ PDF Chat	On the strength of the finite intersection principle	2012	Damir D. Dzhafarov Carl Mummert
+	Limits to joining with generics and randoms	2012	Adam R. Day Damir D. Dzhafarov
+	Reverse mathematics and properties of finite character	2012	Damir D. Dzhafarov Carl Mummert
+	On Mathias generic sets	2012	Peter Cholak Damir D. Dzhafarov Jeffry L. Hirst
+	On Mathias Generic Sets	2012	Peter Cholak Damir D. Dzhafarov Jeffry L. Hirst
+ PDF Chat	Computably Enumerable Partial Orders	2012	Peter Cholak Damir D. Dzhafarov Noah Schweber Richard A. Shore
+	On uniform relationships between combinatorial problems	2012	François G. Dorais Damir D. Dzhafarov Jeffry L. Hirst Joseph R. Mileti Paul Shafer
+	Limits to joining with generics and randoms	2012	Adam R. Day Damir D. Dzhafarov
+	Cohesive avoidance and arithmetical sets	2012	Damir D. Dzhafarov
+	On Mathias generic sets	2012	Peter Cholak Damir D. Dzhafarov Jeffry L. Hirst
+	Computably enumerable partial orders	2011	Peter Cholak Damir D. Dzhafarov Noah Schweber Richard A. Shore
+	Reverse mathematics and properties of finite character	2011	Damir D. Dzhafarov Carl Mummert
+	Computably enumerable partial orders	2011	Peter Cholak Damir D. Dzhafarov Noah Schweber Richard A. Shore
+	Reverse mathematics and properties of finite character	2011	Damir D. Dzhafarov Carl Mummert
+ PDF Chat	Stable Ramsey's Theorem and Measure	2010	Damir D. Dzhafarov
+	Infinite saturated orders	2010	Damir D. Dzhafarov
+	Stable Ramsey's theorem and measure	2010	Damir D. Dzhafarov
+	Reverse mathematics and equivalents of the axiom of choice	2010	Damir D. Dzhafarov Carl Mummert
+ PDF Chat	Infinite Saturated Orders	2010	Damir D. Dzhafarov
+	Ramsey’s theorem for trees: the polarized tree theorem and notions of stability	2010	Damir D. Dzhafarov Jeffry L. Hirst Tamara Lakins
+ PDF Chat	Π 1 0 Classes, Peano Arithmetic, Randomness, and Computable Domination	2010	David Diamondstone Damir D. Dzhafarov Robert I. Soare
+	Reverse mathematics and equivalents of the axiom of choice	2010	Damir D. Dzhafarov Carl Mummert
+	Stable Ramsey's theorem and measure	2010	Damir D. Dzhafarov
+	Infinite saturated orders	2010	Damir D. Dzhafarov
+ PDF Chat	Ramsey's theorem and cone avoidance	2009	Damir D. Dzhafarov Carl G. Jockusch
+	The polarized Ramsey’s theorem	2008	Damir D. Dzhafarov Jeffry L. Hirst

Common Coauthors

Coauthor	Papers Together
Reed Solomon	18
Ludovic Patey	15
Linda Brown Westrick	13
Peter Cholak	13
Carl Mummert	10
Denis R. Hirschfeldt	9
Jeffry L. Hirst	9
Carl G. Jockusch	5
Richard A. Shore	3
Jacob Suggs	3
Noah Schweber	3
Stephen Flood	3
Barbara F. Csima	3
Joseph R. Mileti	3
Adam R. Day	3
François G. Dorais	3
Eric P. Astor	2
Jun Le Goh	2
Mariya I. Soskova	2
Keita Yokoyama	2
Heidi Benham	2
Eric P. Astor	2
Ehtibar N. Dzhafarov	2
Paul-Elliot Anglès d’Auriac	2
Paul Shafer	2
Gregory Igusa	2
Sarah C. Reitzes	2
Manlio Valenti	2
Arno Pauly	2
Java Darleen Villano	2
Benoît Monin	2
Jr. Jockusch	1
Andrea Volpi	1
Antonio Montalbán	1
Jr. Jockusch	1
Theodore A. Slaman	1
David Diamondstone	1
Andrew De Lapo	1
Robert I. Soare	1
Paul Shafer	1
Tamara Lakins	1
Joseph Mileti	1
Andrew DeLapo	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	On the strength of Ramsey's theorem for pairs	2001	Peter Cholak Carl G. Jockusch Theodore A. Slaman	37
+	Ramsey's theorem and recursion theory	1972	Carl G. Jockusch	23
+	Subsystems of Second Order Arithmetic	1999	Stephen G. Simpson	21
+	Combinatorial principles weaker than Ramsey's Theorem for pairs	2007	Denis R. Hirschfeldt Richard A. Shore	21
+	On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics	2009	C.P. Chong Steffen Lempp Yue Yang	18
+ PDF Chat	Ramsey's theorem and cone avoidance	2009	Damir D. Dzhafarov Carl G. Jockusch	18
+	On uniform relationships between combinatorial problems	2015	François G. Dorais Damir D. Dzhafarov Jeffry L. Hirst Joseph Mileti Paul Shafer	16
+	Partition Theorems and Computability Theory	2005	Joseph R. Mileti	15
+ PDF Chat	On the Strength of Ramsey's Theorem	1995	David Seetapun Theodore A. Slaman	15
+	The weakness of being cohesive, thin or free in reverse mathematics	2016	Ludovic Patey	13
+ PDF Chat	Cohesive avoidance and strong reductions	2014	Damir D. Dzhafarov	13
+	STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES	2016	Damir D. Dzhafarov	13
+ PDF Chat	On notions of computability-theoretic reduction between Π21 principles	2016	Denis R. Hirschfeldt Carl G. Jockusch	10
+ PDF Chat	SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS	2013	Manuel Lerman Reed Solomon Henry Towsner	10
+	Ramsey’s theorem for singletons and strong computable reducibility	2016	Damir D. Dzhafarov Ludovic Patey Reed Solomon Linda Brown Westrick	10
+ PDF Chat	The metamathematics of Stable Ramsey’s Theorem for Pairs	2014	C. T. Chong Theodore A. Slaman Yue Yang	9
+ PDF Chat	The atomic model theorem and type omitting	2009	Denis R. Hirschfeldt Richard A. Shore Theodore A. Slaman	9
+ PDF Chat	ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM	2017	Vasco Brattka Tahina Rakotoniaina	8
+ PDF Chat	RT<sub>2</sub><sup>2</sup> does not imply WKL<sub>0</sub>	2012	Jiayi Liu	8
+	Generics for computable Mathias forcing	2014	Peter Cholak Damir D. Dzhafarov Jeffry L. Hirst Theodore A. Slaman	8
+	The Degrees of Discontinuity of some Translators Between Representations of the Real Numbers	1992	Klaus Weihrauch	8
+	Sets with no subset of higher degree	1969	Robert I. Soare	7
+	Degrees of Unsolvability: A Survey of Results	1977	Stephen G. Simpson	7
+ PDF Chat	THE STRENGTH OF SOME COMBINATORIAL PRINCIPLES RELATED TO RAMSEY'S THEOREM FOR PAIRS	2008	Denis R. Hirschfeldt Carl G. Jockusch Bjørn Kjos-Hanssen Steffen Lempp Theodore A. Slaman	7
+ PDF Chat	Weihrauch Complexity in Computable Analysis	2021	Vasco Brattka Guido Gherardi Arno Pauly	6
+ PDF Chat	THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS	2016	Ludovic Patey	6
+	Higher Recursion Theory	2017	Gerald E. Sacks	6
+	Uniformly introreducible sets	1969	Carl G. Jockusch	5
+ PDF Chat	Hyperarithmetically encodable sets	1978	Robert M Solovay	5
+ PDF Chat	The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma	2011	Vasco Brattka Guido Gherardi Alberto Marcone	5
+ PDF Chat	Using Ramsey’s theorem once	2019	Jeffry L. Hirst Carl Mummert	5
+ PDF Chat	On a conjecture of Dobrinen and Simpson concerning almost everywhere domination	2006	Stephen Binns Bjørn Kjos-Hanssen Manuel Lerman Reed Solomon	5
+	Reverse Mathematics: The Playground of Logic	2010	Richard A. Shore	4
+	The uniform content of partial and linear orders	2016	Eric P. Astor Damir D. Dzhafarov Reed Solomon Jacob Suggs	4
+	A dual form of Ramsey's Theorem	1984	Timothy J. Carlson Stephen G. Simpson	4
+ PDF Chat	Coloring trees in reverse mathematics	2017	Damir D. Dzhafarov Ludovic Patey	4
+	Stability and posets	2009	Carl G. Jockusch Bart Kastermans Steffen Lempp Manuel Lerman Reed Solomon	4
+	Degrees of Functions with no Fixed Points	1989	Carl G. Jockusch	4
+	Some logically weak Ramseyan theorems	2014	Wei Wang	4
+ PDF Chat	Generalized cohesiveness	1999	Tamara Hummel Carl G. Jockusch	4
+	Finite sums from sequences within cells of a partition of N	1974	Neil Hindman	4
+	Open Problems in Partition Regularity	2003	Neil Hindman Imre Leader Dona Strauss	4
+	Measure theory and weak König's lemma	1990	Xiaokang Yu Stephen G. Simpson	4
+	A Δ<sub>2</sub><sup>0</sup> set with no infinite low subset in either it or its complement	2001	Rod Downey Denis R. Hirschfeldt Steffen Lempp Reed Solomon	4
+	Upward closure and cohesive degrees	1973	Carl G. Jockusch	4
+	Genericity for Mathias forcing over general Turing ideals	2016	Peter Cholak Damir D. Dzhafarov Mariya I. Soskova	4
+	Countable algebra and set existence axioms11Research partially supported by NSF grants MCS-79-23743, MCS-78-02558, and MCS 8107867. Simpson's research was also supported by an Alfred P. Sloan Research Fellowship.	1983	Harvey M. Friedman Stephen G. Simpson Rick L. Smith	3
+	A topological view on algebraic computation models	2017	Eike Neumann Arno Pauly	3
+	Notions of weak genericity	1983	Stuart A. Kurtz	3
+	The reverse mathematics of Ramsey-type theorems	2016	Ludovic Patey	3