Jeffry L. Hirst
According to our database^{1},
Jeffry L. Hirst
authored at least 32 papers
between 1990 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2017
Reverse Mathematics of Matroids.
Proceedings of the Computability and Complexity, 2017
2016
Reverse mathematics and marriage problems with finitely many solutions.
Arch. Math. Log., 2016
2015
Comparing the strength of diagonally Nonrecursive Functions in the Absence of ∑_{2}^{0} Induction.
J. Symb. Log., 2015
On the existence of a connected component of a graph.
Computability, 2015
Reverse mathematics and marriage problems with unique solutions.
Arch. Math. Log., 2015
2014
Generics for computable Mathias forcing.
Ann. Pure Appl. Logic, 2014
2013
Reverse Mathematics and Algebraic Field Extensions.
Computability, 2013
2012
More reverse mathematics of the HeineBorel Theorem.
J. Logic & Analysis, 2012
Reverse mathematics, trichotomy, and dichotomy.
J. Logic & Analysis, 2012
Hilbert versus Hindman.
Arch. Math. Log., 2012
On Mathias Generic Sets.
Proceedings of the How the World Computes, 2012
2011
Reverse Mathematics and Uniformity in Proofs without Excluded Middle.
Notre Dame Journal of Formal Logic, 2011
2010
Ramsey's theorem for trees: the polarized tree theorem and notions of stability.
Arch. Math. Log., 2010
2009
Reverse mathematics, computability, and partitions of trees.
J. Symb. Log., 2009
The polarized Ramsey's theorem.
Arch. Math. Log., 2009
Partitions of trees and ACA'_{0}.
Arch. Math. Log., 2009
2008
Combinatorics and Graph Theory, Second Edition.
Undergraduate Texts in Mathematics, Springer, ISBN: 9780387797106, 2008
2006
Reverse mathematics of separably closed sets.
Arch. Math. Log., 2006
2004
Minima of initial segments of infinite sequences of reals.
Math. Log. Q., 2004
Hindman's theorem, ultrafilters, and reverse mathematics.
J. Symb. Log., 2004
2000
Reverse mathematics and rank functions for directed graphs.
Arch. Math. Log., 2000
1999
Ordinal Inequalities, Transfinite Induction, and Reverse Mathematics.
J. Symb. Log., 1999
Reverse mathematics of prime factorization of ordinals.
Arch. Math. Log., 1999
1998
Reverse Mathematics and Ordinal Multiplication.
Math. Log. Q., 1998
Reverse Mathematics and Recursive Graph Theory.
Math. Log. Q., 1998
1996
Infinite Versions of Some Problems From Finite Complexity Theory.
Notre Dame Journal of Formal Logic, 1996
1994
Reverse Mathematics and Ordinal Exponentiation.
Ann. Pure Appl. Logic, 1994
1993
Derived Sequences and Reverse Mathematics.
Math. Log. Q., 1993
Embeddings of countable closed sets and reverse mathematics.
Arch. Math. Log., 1993
1992
Connected components of graphs and reverse mathematics.
Arch. Math. Log., 1992
1991
Reverse Mathematics and Homeomorphic Embeddings.
Ann. Pure Appl. Logic, 1991
1990
Weak Comparability of Well Orderings and Reverse Mathematics.
Ann. Pure Appl. Logic, 1990