Denis R. Hirschfeldt

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 14

Top Topics

Interactive Question Answering

Point To Point Correspondences

Top Venues

Bull. Symb. Log.

Publications

Damir D. Dzhafarov, Denis R. Hirschfeldt, Sarah Reitzes
Reduction games, provability and compactness. J. Math. Log. 22 (3) (2022)
Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt, Ludovic Patey, Arno Pauly
Ramsey's theorem and products in the Weihrauch degrees. Comput. 9 (2) (2020)
Caleb Davis, Denis R. Hirschfeldt, Jeffry L. Hirst, Jake Pardo, Arno Pauly, Keita Yokoyama
Combinatorial principles equivalent to weak induction. Comput. 9 (3-4) (2020)
Peter A. Cholak, Damir D. Dzhafarov, Denis R. Hirschfeldt, Ludovic Patey
Some results concerning the SRT22 vs. COH problem. Comput. 9 (3-4) (2020)
Denis R. Hirschfeldt
A Minimal Pair in the Generic Degrees. J. Symb. Log. 85 (1) (2020)
Rod Downey, Denis R. Hirschfeldt
Algorithmic randomness. Commun. ACM 62 (5) (2019)
Barbara F. Csima, Damir D. Dzhafarov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Reed Solomon, Linda Brown Westrick
The reverse mathematics of Hindman's Theorem for sums of exactly two elements. Comput. 8 (3-4) (2019)
Eric P. Astor, Denis R. Hirschfeldt
Dense computability, upper cones, and minimal pairs. Comput. 8 (2) (2019)
Rod Downey, Denis R. Hirschfeldt, Bjørn Kjos-Hanssen
Preface. Theory Comput. Syst. 62 (7) (2018)
Denis R. Hirschfeldt
Some Questions in Computable Mathematics. Computability and Complexity (2017)
Denis R. Hirschfeldt
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. Bull. Symb. Log. 22 (4) (2016)
Denis R. Hirschfeldt, Carl G. Jockusch Jr.
On notions of computability-theoretic reduction between Π21 principles. J. Math. Log. 16 (1) (2016)
Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Paul E. Schupp
Asymptotic density and the coarse computability bound. Comput. 5 (1) (2016)
Denis R. Hirschfeldt, Carl G. Jockusch Jr., Rutger Kuyper, Paul E. Schupp
Coarse Reducibility and Algorithmic Randomness. J. Symb. Log. 81 (3) (2016)
Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies
Counting the changes of random Δ20 sets. J. Log. Comput. 25 (4) (2015)
Denis R. Hirschfeldt, Rebecca Weber
Finite Self-Information. Comput. 1 (1) (2012)
Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies
Sets. CiE (2010)
Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey LaForte
Undecidability of the structure of the Solovay degrees of c.e. reals. J. Comput. Syst. Sci. 73 (5) (2007)
Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt, Robert I. Soare
Bounding homogeneous models. J. Symb. Log. 72 (1) (2007)
John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Sarah Pingrey
classes and strong degree spectra of relations. J. Symb. Log. 72 (3) (2007)
Denis R. Hirschfeldt, Richard A. Shore
Combinatorial principles weaker than Ramsey's Theorem for pairs. J. Symb. Log. 72 (1) (2007)
Denis R. Hirschfeldt, Russell G. Miller, Sergei Podzorov
Order-Computable Sets. Notre Dame J. Formal Log. 48 (3) (2007)
Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Sebastiaan Terwijn
Calibrating Randomness. Bull. Symb. Log. 12 (3) (2006)
Bakhadyr Khoussainov, Denis R. Hirschfeldt, Pavel Semukhin
An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated. Notre Dame J. Formal Log. 47 (1) (2006)
Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt, Joseph S. Miller
Every 1-generic computes a properly 1-generic. J. Symb. Log. 71 (4) (2006)
Denis R. Hirschfeldt
Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory. CiE (2005)
Rod Downey, Denis R. Hirschfeldt, Joseph S. Miller, André Nies
Relativizing Chaitin's Halting Probability. J. Math. Log. 5 (2) (2005)
Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey LaForte
Randomness and reducibility. J. Comput. Syst. Sci. 68 (1) (2004)
Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight, Robert I. Soare
Bounding prime models. J. Symb. Log. 69 (4) (2004)
Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore
A computably categorical structure whose expansion by a constant has infinite computable dimension. J. Symb. Log. 68 (4) (2003)
Denis R. Hirschfeldt, Walker M. White
Realizing Levels of the Hyperarithmetic Hierarchy as Degree Spectra of Relations on Computable Structures. Notre Dame J. Formal Log. 43 (1) (2002)
Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Frank Stephan
Trivial Reals. Electron. Notes Theor. Comput. Sci. 66 (1) (2002)
Rodney G. Downey, Denis R. Hirschfeldt, André Nies
Randomness, Computability, and Density. SIAM J. Comput. 31 (4) (2002)
Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore, Arkadii M. Slinko
Degree spectra and computable dimensions in algebraic structures. Ann. Pure Appl. Log. 115 (1-3) (2002)
Denis R. Hirschfeldt
Degree spectra of relations on structures of finite computable dimension. Ann. Pure Appl. Log. 115 (1-3) (2002)
Denis R. Hirschfeldt
Isomorphisms. J. Symb. Log. 67 (2) (2002)
Denis R. Hirschfeldt
Degree Spectra of Intrinsically C.E. Relations. J. Symb. Log. 66 (2) (2001)
Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey LaForte
Randomness and Reducibility. MFCS (2001)
Rodney G. Downey, Denis R. Hirschfeldt, André Nies
Randomness, Computability, and Density. STACS (2001)
Rodney G. Downey, Denis R. Hirschfeldt, Steffen Lempp, Reed Solomon
Set with No Infinite Low Subset in Either It or Its Complement. J. Symb. Log. 66 (3) (2001)
Klaus Ambos-Spies, Denis R. Hirschfeldt, Richard A. Shore
Undecidability and 1-types in intervals of the computably enumerable degrees. Ann. Pure Appl. Log. 106 (1-3) (2000)
Denis R. Hirschfeldt
Degree spectra of relations on computable structures. Bull. Symb. Log. 6 (2) (2000)