- The Journal of Symbolic Logic Volume 74, Number 1, March 2009
- Partitions of trees and ACA0 Bernard A. Anderson
- THE POLARIZED RAMSEY'S THEOREM DAMIR D. DZHAFAROV AND JEFFRY L. HIRST
- The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000
- More reverse mathematics of the Heine-Borel Theorem JEFFRY L HIRST
- A NOTE ON COMPACTNESS OF COUNTABLE SETS JEFFRY L. HIRST
- Reverse Mathematics of Separably Closed Sets Jeffry L. Hirst
- Disguising induction: Proofs of the pi-geonhole principle for trees
- Notre Dame Journal of Formal Logic Reverse mathematics and uniformity in proofs
- A SURVEY OF THE REVERSE MATHEMATICS OF ORDINAL ARITHMETIC
- REVERSE MATHEMATICS AND ORDINAL SUPREMA JEFFRY L. HIRST
- DELIVERING WEB-BASED QUIZZES IN PRECALCULUS WITH WEBCT Jeffry L. Hirst
- FREE SETS AND REVERSE MATHEMATICS PETER A. CHOLAK, MARIAGNESE GIUSTO, JEFFRY L. HIRST AND CARL G.
- Reverse mathematics, trichotomy, and Francois G. Dorais, Jeffry Hirst
- Noname manuscript No. (will be inserted by the editor)
- ON MATHIAS GENERIC SETS PETER A. CHOLAK, DAMIR D. DZHAFAROV, AND JEFFRY L. HIRST
