![]() |
| 2006 | ||
|---|---|---|
| 12 | EE | Jeffry L. Hirst: Reverse mathematics of separably closed sets. Arch. Math. Log. 45(1): 1-2 (2006) |
| 2004 | ||
| 11 | EE | Jeffry L. Hirst: Minima of initial segments of infinite sequences of reals. Math. Log. Q. 50(1): 47-50 (2004) |
| 2000 | ||
| 10 | EE | Jeffry L. Hirst: Reverse mathematics and rank functions for directed graphs. Arch. Math. Log. 39(8): 569-579 (2000) |
| 1999 | ||
| 9 | EE | Jeffry L. Hirst: Reverse mathematics of prime factorization of ordinals. Arch. Math. Log. 38(3): 195-201 (1999) |
| 8 | Jeffry L. Hirst: Ordinal Inequalities, Transfinite Induction, and Reverse Mathematics. J. Symb. Log. 64(2): 769-774 (1999) | |
| 1998 | ||
| 7 | Jeffry L. Hirst: Reverse Mathematics and Ordinal Multiplication. Math. Log. Q. 44: 459-464 (1998) | |
| 6 | William I. Gasarch, Jeffry L. Hirst: Reverse Mathematics and Recursive Graph Theory. Math. Log. Q. 44: 465-473 (1998) | |
| 1996 | ||
| 5 | Jeffry L. Hirst, Steffen Lempp: Infinite Versions of Some Problems From Finite Complexity Theory. Notre Dame Journal of Formal Logic 37(4): 545-553 (1996) | |
| 1994 | ||
| 4 | Jeffry L. Hirst: Reverse Mathematics and Ordinal Exponentiation. Ann. Pure Appl. Logic 66(1): 1-18 (1994) | |
| 1993 | ||
| 3 | Jeffry L. Hirst: Derived Sequences and Reverse Mathematics. Math. Log. Q. 39: 447-453 (1993) | |
| 1991 | ||
| 2 | Harvey Friedman, Jeffry L. Hirst: Reverse Mathematics and Homeomorphic Embeddings. Ann. Pure Appl. Logic 54(3): 229-253 (1991) | |
| 1990 | ||
| 1 | Harvey Friedman, Jeffry L. Hirst: Weak Comparability of Well Orderings and Reverse Mathematics. Ann. Pure Appl. Logic 47(1): 11-29 (1990) | |
| 1 | Harvey M. Friedman (Harvey Friedman) | [1] [2] |
| 2 | William I. Gasarch | [6] |
| 3 | Steffen Lempp | [5] |