Denis R. Hirschfeldt

According to our database, Denis R. Hirschfeldt authored at least 42 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Reduction games, provability and compactness.

Damir D. Dzhafarov, Denis R. Hirschfeldt, Sarah Reitzes

J. Math. Log., 2022

2020

A Minimal Pair in the Generic Degrees.

Denis R. Hirschfeldt

J. Symb. Log., 2020

Ramsey's theorem and products in the Weihrauch degrees.

Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt, Ludovic Patey, Arno Pauly

Comput., 2020

Combinatorial principles equivalent to weak induction.

Caleb Davis, Denis R. Hirschfeldt, Jeffry L. Hirst, Jake Pardo, Arno Pauly, Keita Yokoyama

Comput., 2020

Some results concerning the SRT22 vs. COH problem.

Peter A. Cholak, Damir D. Dzhafarov, Denis R. Hirschfeldt, Ludovic Patey

Comput., 2020

2019

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

Barbara F. Csima, Damir D. Dzhafarov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Reed Solomon, Linda Brown Westrick

Comput., 2019

Dense computability, upper cones, and minimal pairs.

Eric P. Astor, Denis R. Hirschfeldt

Comput., 2019

Algorithmic randomness.

Rod Downey, Denis R. Hirschfeldt

Commun. ACM, 2019

2018

Preface.

Rod Downey, Denis R. Hirschfeldt, Bjørn Kjos-Hanssen

Theory Comput. Syst., 2018

2017

Some Questions in Computable Mathematics.

Denis R. Hirschfeldt

Proceedings of the Computability and Complexity, 2017

2016

Coarse Reducibility and Algorithmic Randomness.

Denis R. Hirschfeldt, Carl G. Jockusch Jr., Rutger Kuyper, Paul E. Schupp

J. Symb. Log., 2016

On notions of computability-theoretic reduction between Π21 principles.

Denis R. Hirschfeldt, Carl G. Jockusch Jr.

J. Math. Log., 2016

Asymptotic density and the coarse computability bound.

Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Paul E. Schupp

Comput., 2016

Five papers on reverse mathematics and Ramsey-theoretic principles - C. T. Chong, Theodore A. Slaman, and Yue Yang, The metamathematics of Stable Ramsey's Theorem for Pairs. Journal of the American Mathematical Society, vol. 27 (2014), no. 3, pp. 863-892. - Manuel Lerman, Reed Solomon, and Henry Towsner, Separating principles below Ramsey's Theorem for Pairs. Journal of Mathematical Logic, vol. 13 (2013), no. 2, 1350007, 44 pp. - Jiayi Liu, $RT_2^^2$ does not imply WKL 0. Journal of Symbolic Logic, vol. 77 (2012), no. 2, pp. 609-620. - Lu Liu, Cone avoiding closed sets. Transactions of the American Mathematical Society, vol. 367 (2015), no. 3, pp. 1609-1630. - Wei Wang, Some logically weak Ramseyan theorems. Advances in Mathematics, vol. 261 (2014), pp. 1-25.

Denis R. Hirschfeldt

Bull. Symb. Log., 2016

2015

Counting the changes of random Δ20 sets.

Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies

J. Log. Comput., 2015

2014

Slicing the Truth - On the Computable and Reverse Mathematics of Combinatorial Principles.

Denis R. Hirschfeldt

Lecture Notes Series / Institute for Mathematical Sciences / National University of Singapore 28, World Scientific, ISBN: 978-981-4612-61-6, 2014

2012

Finite Self-Information.

Denis R. Hirschfeldt, Rebecca Weber

Comput., 2012

2010

Counting the Changes of Random D⁰₂ Sets.

Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

Algorithmic Randomness and Complexity.

Rodney G. Downey, Denis R. Hirschfeldt

Theory and Applications of Computability, Springer, ISBN: 978-0-387-95567-4, 2010

2007

Order-Computable Sets.

Denis R. Hirschfeldt, Russell G. Miller, Sergei Podzorov

Notre Dame J. Formal Log., 2007

Combinatorial principles weaker than Ramsey's Theorem for pairs.

Denis R. Hirschfeldt, Richard A. Shore

J. Symb. Log., 2007

Bounding homogeneous models.

Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt, Robert I. Soare

J. Symb. Log., 2007

Π₁⁰ classes and strong degree spectra of relations.

John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Sarah Pingrey

J. Symb. Log., 2007

Undecidability of the structure of the Solovay degrees of c.e. reals.

Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey LaForte

J. Comput. Syst. Sci., 2007

2006

An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated.

Bakhadyr Khoussainov, Denis R. Hirschfeldt, Pavel Semukhin

Notre Dame J. Formal Log., 2006

Every 1-generic computes a properly 1-generic.

Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt, Joseph S. Miller

J. Symb. Log., 2006

Calibrating Randomness.

Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Sebastiaan Terwijn

Bull. Symb. Log., 2006

2005

Relativizing Chaitin's Halting Probability.

Rod Downey, Denis R. Hirschfeldt, Joseph S. Miller, André Nies

J. Math. Log., 2005

Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory.

Denis R. Hirschfeldt

Proceedings of the New Computational Paradigms, 2005

2004

Bounding prime models.

Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight, Robert I. Soare

J. Symb. Log., 2004

Randomness and reducibility.

Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey LaForte

J. Comput. Syst. Sci., 2004

2003

A computably categorical structure whose expansion by a constant has infinite computable dimension.

Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore

J. Symb. Log., 2003

2002

Randomness, Computability, and Density.

Rodney G. Downey, Denis R. Hirschfeldt, André Nies

SIAM J. Comput., 2002

Realizing Levels of the Hyperarithmetic Hierarchy as Degree Spectra of Relations on Computable Structures.

Denis R. Hirschfeldt, Walker M. White

Notre Dame J. Formal Log., 2002

Degree Spectra of Relations on Computable Structures in The Presence of delta⁰₂ Isomorphisms.

Denis R. Hirschfeldt

J. Symb. Log., 2002

Trivial Reals.

Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Frank Stephan

Proceedings of the Computability and Complexity in Analysis, 2002

Degree spectra and computable dimensions in algebraic structures.

Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore, Arkadii M. Slinko

Ann. Pure Appl. Log., 2002

Degree spectra of relations on structures of finite computable dimension.

Denis R. Hirschfeldt

Ann. Pure Appl. Log., 2002

2001

Degree Spectra of Intrinsically C.E. Relations.

Denis R. Hirschfeldt

J. Symb. Log., 2001

A delta⁰₂ Set with No Infinite Low Subset in Either It or Its Complement.

Rodney G. Downey, Denis R. Hirschfeldt, Steffen Lempp, Reed Solomon

J. Symb. Log., 2001

2000

Degree spectra of relations on computable structures.

Denis R. Hirschfeldt

Bull. Symb. Log., 2000

Undecidability and 1-types in intervals of the computably enumerable degrees.

Klaus Ambos-Spies, Denis R. Hirschfeldt, Richard A. Shore

Ann. Pure Appl. Log., 2000