*Using Ramsey's theorem once,*
with Carl Mummert, submitted.
A draft is available locally and
on arXiv.org.

*Reverse mathematics of matroids,*
with Carl Mummert, to appear in
Computability and Complexity, Editors Day, Fellows, Greenberg, Khoussainov, Melnikov, and Rosamond,
Lecture Notes in Computer Science **10010** (2017) 143-159.
Springer-Verlag.
Available online
(DOI) 10.1007/978-3-319-50062-1
for purchase.
A draft is available locally
and on arXiv.org.

*Reverse mathematics and marriage problems with finitely many solutions,*
with Noah Hughes,
Archive for Mathematical Logic,
**55**(7) (2016) 1015--1024.
Available online
(DOI) 10.1007/s00153-016-0509-4
for subscribers.
This article can be viewed through
the Springer Nature Content Sharing Intiative.
A draft is available.

*On uniform relationships between combinatorial problems,*
with François Dorais, Damir Dzhafarov, Joseph Mileti, and Paul Shafer,
Transactions of the American Mathematical Society,
**368** (2016) 1321--1359.
Available online
(DOI) 10.1090/tran/6465 for subscribers.
A draft is available.

*Comparing the strength of diagonally non-recursive functions
in the absence of Σ ^{0}_{2} induction,*
with François Dorais and Paul Shafer, The Journal of Symbolic Logic,

*Review of:*
Denis R. Hirschfeldt. Slicing the truth: On the computable and
reverse mathematics of combinatorial principles.
The Bulletin of Symbolic Logic, **21** (2015) 338--339.
Available online
(DOI) 10.1017/bsl.2015.18
for individual purchase, subscribers, and members of the ASL.

*On the existence of a connected component of a graph,*
with Kirill Gura and Carl Mummert, Computability
4 (2015) 103-117.
Available online
(DOI) 10.3233/COM-150039
for individual purchase, subscribers, and members of CIE.
A draft is available.

*Reverse mathematics and marriage problems with unique solutions,*
with Noah Hughes, Archive for Mathematical Logic
**54** (2015) 49-57.
Available online
(DOI) 10.1007/s00153-014-0401-z
for subscribers.
A draft is available.

*Generics for computable Mathias forcing,*
with Peter Cholak, Damir Dzhafarov, and Theodore Slaman, Annals of
Pure and Applied Logic **165**:9, (2014) 1418-1428.
Available online
(DOI) 10.1016/j.apal.2014.04.011.
A draft is available.

*Reverse mathematics and algebraic field extensions,*
with François Dorais and Paul Shafer, Computability **2**:2, (2013) 75-92.
Available online
(DOI) 10.3233/COM-13021.
A draft is available.

*Disguising induction: Proofs of the pigeonhole principle for trees,*
in: Foundational Adventures: Essays
in Honor of Harvey M. Friedman, (Neil Tennant, editor)
Templeton Press (2012). Available online at
foundationaladventures.com.
A draft is available in pdf format.

*Reverse mathematics, trichotomy, and dichotomy,*
with François Dorais and Paul Shafer, Journal of Logic and Analysis
**4**:13, (2012) 1-14.
Available online
(DOI) 10.4115/jla.2012.4.13.
A draft is available in pdf format.

*On Mathias generic sets,*
with Peter Cholak and Damir Dzhafarov, pages 129-138 in:
How the World Computes: Proceedings of the Turing Centenary
Conference and 8th Conference on Computability in Europe, CiE 2012,
LNCS 7318, (Cooper, Dawar, and Lowe, editors)
Springer-Verlag (2012) ISBN: 978-3-642-30869-7.
Available online
(DOI) 10.1007/978-3-642-30870-3_14.
A draft is available in pdf format.

*More reverse mathematics of the Heine-Borel theorem,*
with Jessica Miller, Journal of Logic and Analysis
**4**:6, (2012) 1-10.
Available online
(DOI) 10.4115/jla.2012.4.6.
A draft is available in pdf format.

*Hilbert versus Hindman,*
Archive for Mathematical Logic **51**:1-2, (2012) 123-125.
Available online
(DOI) 10.1007/s00153-011-0257-4 for subscribers.
A draft is available in pdf format.

*Reverse mathematics and uniformity in proofs without excluded middle,*
with Carl Mummert,
Notre Dame Journal of Formal Logic **52**:2, (2011) 149-162.
Available online
(DOI) 10.1215/00294527-1306163,
for subscribers.
A draft is available in pdf format.

*Ramsey's theorem for trees: The polarized tree theorem and notions of stability,*
with Damir Dzhafarov and Tamara Lakins,
Archive for Mathematical Logic **49**:3, (2010) 399-415.
Available online
(DOI) 10.1007/s00153-010-0179-6,
for subscribers.
A draft is available in pdf format.

*Partitions of trees and ACA ^{'}_{0},* with Bernard Anderson,
Archive for Mathematical Logic

*The polarized Ramsey's theorem,* with Damir Dzhafarov,
Archive for Mathematical Logic, **48**:2, (2009) 141-157.
Available online
(DOI) 10.1007/s00153-008-0108-0,
for subscribers.
A draft is available in pdf format.
(N.B.: Reference [3] should be 1956 rather than 1965.)

*Reverse mathematics, computability, and partitions of trees,*
with Jennifer Chubb and Timothy McNicholl, Journal of Symbolic Logic,
**74**, (2009) 201-215.
A reprint is available in pdf format.
(N.B.: Reference [2] is incorrect. It should be Deuber, Promel, and Voight's
*A canonical partition theorem for chains in regular trees*, in Combinatorial
Theory, Springer Lecture Notes in Mathematics, Volume 969, (1982) pages 115-132.)

*Combinatorics and Graph Theory, Second Edition*
with J. Harris and M. Mossinghoff,
Springer-Verlag, New York, (2008).
Series: Undergraduate Texts in Mathematics,
ISBN 978-0-387-79710-6.
A list of errata appears on this
web page.

*Representations of reals in reverse mathematics,*
Bulletin of the Polish Academy of Sciences, Mathematics,
**55**, (2007) 303-316.
Available
online for subscribers.
A reprint is available in pdf format.

*Reverse mathematics of separably closed sets,*
Archive for Mathematical Logic, **65**, (2006) 1-2.
Available
online.
A draft is available in pdf format.

*A survey of the reverse mathematics of ordinal arithmetic,*
Reverse Mathematics 2001, Stephen G. Simpson, editor,
Lecture Notes in Logic, **21**, Association for Symbolic Logic,
La Jolla, California (2005) 222-234.
A draft is available in pdf format.

*Reverse mathematics and ordinal suprema,*
Reverse Mathematics 2001, Stephen G. Simpson, editor,
Lecture Notes in Logic, **21**, Association for Symbolic Logic,
La Jolla, California (2005) 235-243.
A draft is available in pdf format.

*A note on compactness of countable sets,*
Reverse Mathematics 2001, Stephen G. Simpson, editor,
Lecture Notes in Logic, **21**, Association for Symbolic Logic,
La Jolla, California (2005) 219-221.
A draft is available in pdf format.

*Free sets and reverse mathematics,* with P. Cholak,
M. Giusto, and C. Jockusch,
Reverse Mathematics 2001, Stephen G. Simpson, editor,
Lecture Notes in Logic, **21**, Association for Symbolic Logic,
La Jolla, California (2005) 104-119.
A draft is available in pdf format.

*Venn diagrams and reasoning,* with W. Hutch Sprunt,
The Centroid, **31**, (2005) 11-16.

*Hindman's theorem, ultrafilters, and reverse mathematics,*
Journal of Symbolic Logic, **69**, (2004) 65-72.
A draft is available in pdf format.

*Minima of initial segments of infinite sequences of reals,*
Mathematical Logic Quarterly, **50**, (2004) 47-50.
Available
online (November 2003).

*Delivering Web-based Quizzes in Precalculus with WebCT,*
Proceedings of the 13th annual ICTCM (Atlanta, GA, November 2000).
Editor: Goodell, pages 179-181.
A draft is available in pdf format.

*Reverse mathematics and rank functions for directed graphs,*
Archive for Mathematical Logic, **39**, (2000) 569-579.
Available online
DOI 10.1007/s001530050165,
for subscribers.
A draft is available in pdf format.

*Combinatorics and Graph Theory,*
with J. Harris and M. Mossinghoff,
Springer-Verlag, New York, (2000).
Series: Undergraduate Texts in Mathematics,
ISBN 0-387-98736-3.

*A graphical tool for analysis courses,*
in:
Electronic Proceedings of the Eleventh
Annual International Conference on Technology in Collegiate Mathematics
, Editors: Bogacki, Fife, and Husch (1999).

*Ordinal inequalities, transfinite induction, and reverse mathematics,*
Journal of Symbolic Logic,
**64**, (1999) 769-774.

*Reverse mathematics of prime factorization of ordinals,*
Archive for Mathematical Logic,
**38**, (1999) 195-201.

* Reverse mathematics and recursive graph theory,*
with W. Gasarch,
Mathematical Logic Quarterly,
**44**, (1998) 465-473.
(A earlier version of this paper can be obtained from the
Mathematics ArXiv.)

*Reverse mathematics and ordinal multiplication,*
Mathematical Logic Quarterly, **44**, (1998) 459-464.

*Incorporating Modeling into Undergraduate Courses,*
with H. Hirst, in Proceedings of the International Conference
on the Teaching of Mathematics (University of the Aegean, Samos, Greece),
John Wiley and Sons, Inc., (1998) 149-151.

*Reverse mathematics of some topics from algorithmic graph theory,*
with P. Clote, Fundamenta Mathematicae, **157**, (1998) 1-13.

*Infinite versions of some problems from finite complexity theory,*
with S. Lempp, Notre Dame Journal of Formal Logic, **37** no. 4,
(1996) 545-553.
(A version of this paper can be obtained from
Mathematics ArXiv.)

*Animators in the classroom,*
in:
Electronic Proceedings of the Ninth
Annual International Conference on Technology in Collegiate Mathematics
, Editors: Bogacki, Fife, and Husch (1996).

*A graphical tool for linear algebra,*, with William Bauldry,
MapleTech, **3**, (1996) 48-49.
(More information about the Maple procedure
eshow.)

*Reverse mathematics and ordinal exponentiation,*
The Annals of Pure and Applied Logic, **66**, (1994) 1-18.

*Derived sequences and reverse mathematics,*
Mathematical Logic Quarterly, **39**, (1993) 447-453.

*Embeddings of countable closed sets and reverse mathematics,*
Archive for Mathematical Logic, **32**, (1993) 443-449.

*Connected components of graphs and reverse mathematics,*
Archive for Mathematical Logic, **31**, (1992) 183-192.
(DOI) 10.1007/BF01269946

*Reverse mathematics of homeomorphic embeddings,*
with H. Friedman, The Annals of Pure and Applied Logic, **54**, (1991) 229-253.

*Weak comparability of well orderings and reverse mathematics,*
with H. Friedman, The Annals of Pure and Applied Logic, **47**, (1990) 11-29.

*Marriage theorems and reverse mathematics,*
Logic and Computation, Contemporary Mathematics **106**,
American Mathematical Society, 1990, 181-196.

* Logical analysis of some theorems of combinatorics
and topological dynamics,*
with A. Blass and S. Simpson, Logic and Combinatorics,
Contemporary
Mathematics **65**, American Mathematical Society,
1987, 125-156.

* Combinatorics in subsystems of second order arithmetic,*
Ph.D. Thesis, Pennsylvania State University, 1987.
(Available in pdf format.)

Back To: Math or Jeff Hirst's Page.