Jeffry L. Hirst

	2012
20		Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst: On Mathias Generic Sets. CiE 2012: 129-138
19		Jeffry L. Hirst: Hilbert versus Hindman. Arch. Math. Log. 51(1-2): 123-125 (2012)
	2011
18		Jeffry L. Hirst, Carl Mummert: Reverse Mathematics and Uniformity in Proofs without Excluded Middle. Notre Dame Journal of Formal Logic 52(2): 149-162 (2011)
	2010
17		Damir D. Dzhafarov, Jeffry L. Hirst, Tamara J. Lakins: Ramsey's theorem for trees: the polarized tree theorem and notions of stability. Arch. Math. Log. 49(3): 399-415 (2010)
	2009
16		Damir D. Dzhafarov, Jeffry L. Hirst: The polarized Ramsey's theorem. Arch. Math. Log. 48(2): 141-157 (2009)
15		Bernard A. Anderson, Jeffry L. Hirst: Partitions of trees and ACA'0. Arch. Math. Log. 48(3-4): 227-230 (2009)
14		Jennifer Chubb, Jeffry L. Hirst, Timothy H. McNicholl: Reverse mathematics, computability, and partitions of trees. J. Symb. Log. 74(1): 201-215 (2009)
	2006
13		Jeffry L. Hirst: Reverse mathematics of separably closed sets. Arch. Math. Log. 45(1): 1-2 (2006)
	2004
12		Jeffry L. Hirst: Hindman's theorem, ultrafilters, and reverse mathematics. J. Symb. Log. 69(1): 65-72 (2004)
11		Jeffry L. Hirst: Minima of initial segments of infinite sequences of reals. Math. Log. Q. 50(1): 47-50 (2004)
	2000
10		Jeffry L. Hirst: Reverse mathematics and rank functions for directed graphs. Arch. Math. Log. 39(8): 569-579 (2000)
	1999
9		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)

Coauthor Index

1	Bernard A. Anderson	[15]
2	Peter Cholak	[20]
3	Jennifer Chubb	[14]
4	Damir D. Dzhafarov	[16] [17] [20]
5	Harvey M. Friedman (Harvey Friedman)	[1] [2]
6	William I. Gasarch	[6]
7	Tamara J. Lakins	[17]
8	Steffen Lempp	[5]
9	Timothy H. McNicholl	[14]
10	Carl Mummert	[18]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page