The polarized Ramsey's theorem, with Damir Dzhafarov, submitted. A draft is available in pdf format.
Reverse mathematics and the Dialectica translation, submitted. A draft is available in pdf format.
Reverse mathematics, computability, and partitions of trees, with Jennifer Chubb and Timothy McNicholl, submitted. A draft is available in pdf format.
Outer measures of Vitali's nonmeasurable sets, with Johnathan Loss, submitted. A draft is available in pdf format.
Representations of reals in reverse mathematics, Bulletin of the Polish Academy of Sciences, Mathematics, 55, (2007) 303--316. Available online for subscribers. A preprint 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.
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.
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 problems 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.