Jeffry L. Hirst

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 13

Top Topics

Constructive Induction

National University

Complexity Theory

Top Venues

Arch. Math. Log.

Bull. Symb. Log.

Publications

Jeffry L. Hirst, Carl Mummert
Banach's theorem in higher-order reverse mathematics. Comput. 12 (3) (2023)
Zach BeMent, Jeffry L. Hirst, Asuka Wallace
Reverse mathematics and Weihrauch analysis motivated by finite complexity theory. Comput. 10 (4) (2021)
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)
Jeffry L. Hirst
Leaf management. Comput. 9 (3-4) (2020)
Jeffry L. Hirst, Carl Mummert
Using Ramsey's theorem once. Arch. Math. Log. 58 (7-8) (2019)
Caleb Davis, Jeffry L. Hirst, Jake Pardo, Tim Ransom
Reverse mathematics and colorings of hypergraphs. Arch. Math. Log. 58 (5-6) (2019)
Jeffry L. Hirst
J. Stillwell, Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018, xiii + 182 pp. Bull. Symb. Log. 24 (2) (2018)
Jeffry L. Hirst, Carl Mummert
Reverse Mathematics of Matroids. Computability and Complexity (2017)
Jeffry L. Hirst, Noah A. Hughes
Reverse mathematics and marriage problems with finitely many solutions. Arch. Math. Log. 55 (7-8) (2016)
Jeffry L. Hirst
Denis R. Hirschfeldt. Slicing the truth: On the computable and reverse mathematics of combinatorial principles. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, vol. 28. World Scientific Publishing Co. Pte. Ltd., Singapore, 2015, xiv+214 pp. Bull. Symb. Log. 21 (3) (2015)
Kirill Gura, Jeffry L. Hirst, Carl Mummert
On the existence of a connected component of a graph. Comput. 4 (2) (2015)
Jeffry L. Hirst, Noah A. Hughes
Reverse mathematics and marriage problems with unique solutions. Arch. Math. Log. 54 (1-2) (2015)
François G. Dorais, Jeffry L. Hirst, Paul Shafer
Induction. J. Symb. Log. 80 (4) (2015)
Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst, Theodore A. Slaman
Generics for computable Mathias forcing. Ann. Pure Appl. Log. 165 (9) (2014)
François G. Dorais, Jeffry L. Hirst, Paul Shafer
Reverse Mathematics and Algebraic Field Extensions. Comput. 2 (2) (2013)
Jeffry L. Hirst
Hilbert versus Hindman. Arch. Math. Log. 51 (1-2) (2012)
Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst
On Mathias Generic Sets. CiE (2012)
Jeffry L. Hirst, Jessica Miller
More reverse mathematics of the Heine-Borel Theorem. J. Log. Anal. 4 (2012)
François G. Dorais, Jeffry L. Hirst, Paul Shafer
Reverse mathematics, trichotomy, and dichotomy. J. Log. Anal. 4 (2012)
Jeffry L. Hirst, Carl Mummert
Reverse Mathematics and Uniformity in Proofs without Excluded Middle. Notre Dame J. Formal Log. 52 (2) (2011)
Damir D. Dzhafarov, Jeffry L. Hirst, Tamara J. Lakins
Ramsey's theorem for trees: the polarized tree theorem and notions of stability. Arch. Math. Log. 49 (3) (2010)
Damir D. Dzhafarov, Jeffry L. Hirst
The polarized Ramsey's theorem. Arch. Math. Log. 48 (2) (2009)
Bernard A. Anderson, Jeffry L. Hirst
. Arch. Math. Log. 48 (3-4) (2009)
Jennifer Chubb, Jeffry L. Hirst, Timothy H. McNicholl
Reverse mathematics, computability, and partitions of trees. J. Symb. Log. 74 (1) (2009)
Jeffry L. Hirst
Reverse mathematics of separably closed sets. Arch. Math. Log. 45 (1) (2006)
Jeffry L. Hirst
Hindman's theorem, ultrafilters, and reverse mathematics. J. Symb. Log. 69 (1) (2004)
Jeffry L. Hirst
Minima of initial segments of infinite sequences of reals. Math. Log. Q. 50 (1) (2004)
Jeffry L. Hirst
Reverse mathematics and rank functions for directed graphs. Arch. Math. Log. 39 (8) (2000)
Jeffry L. Hirst
Reverse mathematics of prime factorization of ordinals. Arch. Math. Log. 38 (3) (1999)
Jeffry L. Hirst
Ordinal Inequalities, Transfinite Induction, and Reverse Mathematics. J. Symb. Log. 64 (2) (1999)
Jeffry L. Hirst
Reverse Mathematics and Ordinal Multiplication. Math. Log. Q. 44 (1998)
William I. Gasarch, Jeffry L. Hirst
Reverse Mathematics and Recursive Graph Theory. Math. Log. Q. 44 (1998)
Jeffry L. Hirst, Steffen Lempp
Infinite Versions of Some Problems From Finite Complexity Theory. Notre Dame J. Formal Log. 37 (4) (1996)
Jeffry L. Hirst
Reverse Mathematics and Ordinal Exponentiation. Ann. Pure Appl. Log. 66 (1) (1994)
Jeffry L. Hirst
Embeddings of countable closed sets and reverse mathematics. Arch. Math. Log. 32 (6) (1993)
Jeffry L. Hirst
Derived Sequences and Reverse Mathematics. Math. Log. Q. 39 (1993)
Jeffry L. Hirst
Connected components of graphs and reverse mathematics. Arch. Math. Log. 31 (3) (1992)
Harvey Friedman, Jeffry L. Hirst
Reverse Mathematics and Homeomorphic Embeddings. Ann. Pure Appl. Log. 54 (3) (1991)
Harvey Friedman, Jeffry L. Hirst
Weak Comparability of Well Orderings and Reverse Mathematics. Ann. Pure Appl. Log. 47 (1) (1990)