Jeffry L. Hirst

According to our database1, Jeffry L. Hirst authored at least 32 papers between 1990 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

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 ∑20 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 Heine-Borel 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: 978-0-387-79710-6, 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


  Loading...