Jeffry L. Hirst

41 papers C 1Journal 38Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Reverse mathematics of a color basis theorem. Comput. Caleb Davis, Jeffry L. Hirst, Silva Keohulian, Brody Miller, Jessica Ross
2023	J	`jnl`	Banach's theorem in higher-order reverse mathematics. Comput. Jeffry L. Hirst, Carl Mummert
2021	J	`jnl`	Reverse mathematics and Weihrauch analysis motivated by finite complexity theory. Comput. Zach BeMent, Jeffry L. Hirst, Asuka Wallace
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`	Leaf management. Comput. Jeffry L. Hirst
2019	J	`jnl`	Reverse mathematics and colorings of hypergraphs. Arch. Math. Log. Caleb Davis, Jeffry L. Hirst, Jake Pardo, Tim Ransom
2019	J	`jnl`	Using Ramsey's theorem once. Arch. Math. Log. Jeffry L. Hirst, Carl Mummert
2018	J	`jnl`	J. Stillwell, Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018, xiii + 182 pp. Bull. Symb. Log. Jeffry L. Hirst
2017	—	`conf`	Reverse Mathematics of Matroids. Computability and Complexity Jeffry L. Hirst, Carl Mummert
2016	J	`jnl`	Reverse mathematics and marriage problems with finitely many solutions. Arch. Math. Log. Jeffry L. Hirst, Noah A. Hughes
2015	J	`jnl`	Comparing the strength of diagonally Nonrecursive Functions in the Absence of ∑ J. Symb. Log. François G. Dorais, Jeffry L. Hirst, Paul Shafer
2015	J	`jnl`	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. Jeffry L. Hirst
2015	J	`jnl`	On the existence of a connected component of a graph. Comput. Kirill Gura, Jeffry L. Hirst, Carl Mummert
2015	J	`jnl`	Reverse mathematics and marriage problems with unique solutions. Arch. Math. Log. Jeffry L. Hirst, Noah A. Hughes
2014	J	`jnl`	Generics for computable Mathias forcing. Ann. Pure Appl. Log. Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst, Theodore A. Slaman
2013	J	`jnl`	Reverse Mathematics and Algebraic Field Extensions. Comput. François G. Dorais, Jeffry L. Hirst, Paul Shafer
2012	J	`jnl`	Hilbert versus Hindman. Arch. Math. Log. Jeffry L. Hirst
2012	J	`jnl`	More reverse mathematics of the Heine-Borel Theorem. J. Log. Anal. Jeffry L. Hirst, Jessica Miller
2012	C	`conf`	On Mathias Generic Sets. CiE Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst
2012	J	`jnl`	Reverse mathematics, trichotomy, and dichotomy. J. Log. Anal. François G. Dorais, Jeffry L. Hirst, Paul Shafer
2011	J	`jnl`	Reverse Mathematics and Uniformity in Proofs without Excluded Middle. Notre Dame J. Formal Log. Jeffry L. Hirst, Carl Mummert
2010	J	`jnl`	Ramsey's theorem for trees: the polarized tree theorem and notions of stability. Arch. Math. Log. Damir D. Dzhafarov, Jeffry L. Hirst, Tamara J. Lakins
2009	J	`jnl`	Partitions of trees and ACA' Arch. Math. Log. Bernard A. Anderson, Jeffry L. Hirst
2009	J	`jnl`	Reverse mathematics, computability, and partitions of trees. J. Symb. Log. Jennifer Chubb, Jeffry L. Hirst, Timothy H. McNicholl
2009	J	`jnl`	The polarized Ramsey's theorem. Arch. Math. Log. Damir D. Dzhafarov, Jeffry L. Hirst
2008	—	`book`	Combinatorics and Graph Theory, Second Edition. John M. Harris, Jeffry L. Hirst, Michael J. Mossinghoff
2006	J	`jnl`	Reverse mathematics of separably closed sets. Arch. Math. Log. Jeffry L. Hirst
2004	J	`jnl`	Hindman's theorem, ultrafilters, and reverse mathematics. J. Symb. Log. Jeffry L. Hirst
2004	J	`jnl`	Minima of initial segments of infinite sequences of reals. Math. Log. Q. Jeffry L. Hirst
2000	J	`jnl`	Reverse mathematics and rank functions for directed graphs. Arch. Math. Log. Jeffry L. Hirst
1999	J	`jnl`	Ordinal Inequalities, Transfinite Induction, and Reverse Mathematics. J. Symb. Log. Jeffry L. Hirst
1999	J	`jnl`	Reverse mathematics of prime factorization of ordinals. Arch. Math. Log. Jeffry L. Hirst
1998	J	`jnl`	Reverse Mathematics and Ordinal Multiplication. Math. Log. Q. Jeffry L. Hirst
1998	J	`jnl`	Reverse Mathematics and Recursive Graph Theory. Math. Log. Q. William I. Gasarch, Jeffry L. Hirst
1996	J	`jnl`	Infinite Versions of Some Problems From Finite Complexity Theory. Notre Dame J. Formal Log. Jeffry L. Hirst, Steffen Lempp
1994	J	`jnl`	Reverse Mathematics and Ordinal Exponentiation. Ann. Pure Appl. Log. Jeffry L. Hirst
1993	J	`jnl`	Derived Sequences and Reverse Mathematics. Math. Log. Q. Jeffry L. Hirst
1993	J	`jnl`	Embeddings of countable closed sets and reverse mathematics. Arch. Math. Log. Jeffry L. Hirst
1992	J	`jnl`	Connected components of graphs and reverse mathematics. Arch. Math. Log. Jeffry L. Hirst
1991	J	`jnl`	Reverse Mathematics and Homeomorphic Embeddings. Ann. Pure Appl. Log. Harvey Friedman, Jeffry L. Hirst
1990	J	`jnl`	Weak Comparability of Well Orderings and Reverse Mathematics. Ann. Pure Appl. Log. Harvey Friedman, Jeffry L. Hirst