Denis R. Hirschfeldt

45 papers A 1B 1C 3Journal 37Unranked 1

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