×

zbMATH — the first resource for mathematics

Hirst, Jeffry Lynn

Compute Distance To:
Author ID: hirst.jeffry-l Recent zbMATH articles by "Hirst, Jeffry Lynn"
Published as: Hirst, Jeffry L.; Hirst, Jeffry
Homepage: http://www.appstate.edu/~hirstjl/
External Links: MGP · ORCID · ResearchGate · dblp
Documents Indexed: 49 Publications since 1987, including 2 Books
Reviewing Activity: 176 Reviews

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 187 times in 153 Documents Cited by Year
Combinatorics and graph theory. 2nd ed. Zbl 1170.05001
Harris, John M.; Hirst, Jeffry L.; Mossinghoff, Michael J.
27
2008
Weak comparability of well orderings and reverse mathematics. Zbl 0706.03044
Friedman, Harvey M.; Hirst, Jeffry L.
18
1990
Reverse mathematics and ordinal exponentiation. Zbl 0791.03034
Hirst, Jeffry L.
17
1994
Free sets and reverse mathematics. Zbl 1092.03031
Cholak, Peter A.; Giusto, Mariagnese; Hirst, Jeffry L.; Jockusch, Carl G. jun.
14
2005
Combinatorics and graph theory. Zbl 0949.05001
Harris, John M.; Hirst, Jeffry L.; Mossinghoff, Michael J.
11
2000
The polarized Ramsey’s theorem. Zbl 1172.03007
Dzhafarov, Damir D.; Hirst, Jeffry L.
10
2009
Reverse mathematics, computability, and partitions of trees. Zbl 1162.03009
Chubb, Jennifer; Hirst, Jeffry L.; McNicholl, Timothy H.
9
2009
Generics for computable Mathias forcing. Zbl 1320.03072
Cholak, Peter A.; Dzhafarov, Damir D.; Hirst, Jeffry L.; Slaman, Theodore A.
8
2014
Representations of reals in reverse mathematics. Zbl 1138.03012
Hirst, Jeffry L.
7
2007
Logical analysis of some theorems of combinatorics and topological dynamics. Zbl 0652.03040
Blass, Andreas R.; Hirst, Jeffry L.; Simpson, Stephen G.
7
1987
Reverse mathematics and uniformity in proofs without excluded middle. Zbl 1225.03083
Hirst, Jeffry L.; Mummert, Carl
7
2011
Hindman’s theorem, ultrafilters, and reverse mathematics. Zbl 1070.03039
Hirst, Jeffry L.
6
2004
Comparing the strength of diagonally nonrecursive functions in the absence of \(\Sigma_2^0\) induction. Zbl 1373.03016
Dorais, François G.; Hirst, Jeffry L.; Shafer, Paul
5
2015
Reverse mathematics, trichotomy and dichotomy. Zbl 1296.03008
Dorais, François G.; Hirst, Jeffry L.; Shafer, Paul
5
2012
A survey of the reverse mathematics of ordinal arithmetic. Zbl 1088.03047
Hirst, Jeffry L.
4
2005
Hilbert versus Hindman. Zbl 1239.03038
Hirst, Jeffry L.
4
2012
Marriage theorems and reverse mathematics. Zbl 0701.03032
Hirst, Jeffry L.
3
1990
Connected components of graphs and reverse mathematics. Zbl 0725.03039
Hirst, Jeffry L.
3
1991
Reverse mathematics and rank functions for directed graphs. Zbl 0968.03070
Hirst, Jeffry L.
3
2000
Ramsey’s theorem for trees: the polarized tree theorem and notions of stability. Zbl 1215.03018
Dzhafarov, Damir D.; Hirst, Jeffry L.; Lakins, Tamara J.
3
2010
On the existence of a connected component of a graph. Zbl 1337.03086
Gura, Kirill; Hirst, Jeffry L.; Mummert, Carl
2
2015
Reverse mathematics and homeomorphic embeddings. Zbl 0746.03048
Friedman, Harvey M.; Hirst, Jeffry L.
2
1991
Reverse mathematics and recursive graph theory. Zbl 0919.03045
Gasarch, William; Hirst, Jeffry L.
2
1998
Reverse mathematics and ordinal suprema. Zbl 1089.03053
Hirst, Jeffry L.
2
2005
Ordinal inequalities, transfinite induction, and reverse mathematics. Zbl 0930.03085
Hirst, Jeffry L.
1
1999
Minima of initial segments of infinite sequences of reals. Zbl 1042.03038
Hirst, Jeffry L.
1
2004
Reverse mathematics and marriage problems with unique solutions. Zbl 1386.03015
Hirst, Jeffry L.; Hughes, Noah A.
1
2015
Infinite versions of some problems from finite complexity theory. Zbl 0882.03041
Hirst, Jeffry L.; Lempp, Steffen
1
1996
Disguising induction: proofs of the pigeonhole principle for trees. Zbl 1358.03020
Hirst, Jeffry L.
1
2014
Embeddings of countable closed sets and reverse mathematics. Zbl 0785.03040
Hirst, Jeffry L.
1
1993
Book review of: D. R. Hirschfeldt, Slicing the truth. On the computable and reverse mathematics of combinatorial principles. Zbl 1336.00029
Hirst, Jeffry L.
1
2015
On Mathias generic sets. Zbl 1358.03054
Cholak, Peter A.; Dzhafarov, Damir D.; Hirst, Jeffry L.
1
2012
Comparing the strength of diagonally nonrecursive functions in the absence of \(\Sigma_2^0\) induction. Zbl 1373.03016
Dorais, François G.; Hirst, Jeffry L.; Shafer, Paul
5
2015
On the existence of a connected component of a graph. Zbl 1337.03086
Gura, Kirill; Hirst, Jeffry L.; Mummert, Carl
2
2015
Reverse mathematics and marriage problems with unique solutions. Zbl 1386.03015
Hirst, Jeffry L.; Hughes, Noah A.
1
2015
Book review of: D. R. Hirschfeldt, Slicing the truth. On the computable and reverse mathematics of combinatorial principles. Zbl 1336.00029
Hirst, Jeffry L.
1
2015
Generics for computable Mathias forcing. Zbl 1320.03072
Cholak, Peter A.; Dzhafarov, Damir D.; Hirst, Jeffry L.; Slaman, Theodore A.
8
2014
Disguising induction: proofs of the pigeonhole principle for trees. Zbl 1358.03020
Hirst, Jeffry L.
1
2014
Reverse mathematics, trichotomy and dichotomy. Zbl 1296.03008
Dorais, François G.; Hirst, Jeffry L.; Shafer, Paul
5
2012
Hilbert versus Hindman. Zbl 1239.03038
Hirst, Jeffry L.
4
2012
On Mathias generic sets. Zbl 1358.03054
Cholak, Peter A.; Dzhafarov, Damir D.; Hirst, Jeffry L.
1
2012
Reverse mathematics and uniformity in proofs without excluded middle. Zbl 1225.03083
Hirst, Jeffry L.; Mummert, Carl
7
2011
Ramsey’s theorem for trees: the polarized tree theorem and notions of stability. Zbl 1215.03018
Dzhafarov, Damir D.; Hirst, Jeffry L.; Lakins, Tamara J.
3
2010
The polarized Ramsey’s theorem. Zbl 1172.03007
Dzhafarov, Damir D.; Hirst, Jeffry L.
10
2009
Reverse mathematics, computability, and partitions of trees. Zbl 1162.03009
Chubb, Jennifer; Hirst, Jeffry L.; McNicholl, Timothy H.
9
2009
Combinatorics and graph theory. 2nd ed. Zbl 1170.05001
Harris, John M.; Hirst, Jeffry L.; Mossinghoff, Michael J.
27
2008
Representations of reals in reverse mathematics. Zbl 1138.03012
Hirst, Jeffry L.
7
2007
Free sets and reverse mathematics. Zbl 1092.03031
Cholak, Peter A.; Giusto, Mariagnese; Hirst, Jeffry L.; Jockusch, Carl G. jun.
14
2005
A survey of the reverse mathematics of ordinal arithmetic. Zbl 1088.03047
Hirst, Jeffry L.
4
2005
Reverse mathematics and ordinal suprema. Zbl 1089.03053
Hirst, Jeffry L.
2
2005
Hindman’s theorem, ultrafilters, and reverse mathematics. Zbl 1070.03039
Hirst, Jeffry L.
6
2004
Minima of initial segments of infinite sequences of reals. Zbl 1042.03038
Hirst, Jeffry L.
1
2004
Combinatorics and graph theory. Zbl 0949.05001
Harris, John M.; Hirst, Jeffry L.; Mossinghoff, Michael J.
11
2000
Reverse mathematics and rank functions for directed graphs. Zbl 0968.03070
Hirst, Jeffry L.
3
2000
Ordinal inequalities, transfinite induction, and reverse mathematics. Zbl 0930.03085
Hirst, Jeffry L.
1
1999
Reverse mathematics and recursive graph theory. Zbl 0919.03045
Gasarch, William; Hirst, Jeffry L.
2
1998
Infinite versions of some problems from finite complexity theory. Zbl 0882.03041
Hirst, Jeffry L.; Lempp, Steffen
1
1996
Reverse mathematics and ordinal exponentiation. Zbl 0791.03034
Hirst, Jeffry L.
17
1994
Embeddings of countable closed sets and reverse mathematics. Zbl 0785.03040
Hirst, Jeffry L.
1
1993
Connected components of graphs and reverse mathematics. Zbl 0725.03039
Hirst, Jeffry L.
3
1991
Reverse mathematics and homeomorphic embeddings. Zbl 0746.03048
Friedman, Harvey M.; Hirst, Jeffry L.
2
1991
Weak comparability of well orderings and reverse mathematics. Zbl 0706.03044
Friedman, Harvey M.; Hirst, Jeffry L.
18
1990
Marriage theorems and reverse mathematics. Zbl 0701.03032
Hirst, Jeffry L.
3
1990
Logical analysis of some theorems of combinatorics and topological dynamics. Zbl 0652.03040
Blass, Andreas R.; Hirst, Jeffry L.; Simpson, Stephen G.
7
1987
all top 5

Cited by 175 Authors

16 Hirst, Jeffry Lynn
15 Patey, Ludovic
9 Dzhafarov, Damir D.
6 Brattka, Vasco
6 Marcone, Alberto
6 Montalbán, Antonio
6 Pauly, Arno M.
6 Shore, Richard A.
5 Solomon, Reed
4 Dorais, François Gilbert
4 Freund, Anton
4 Fujiwara, Makoto
4 Mummert, Carl
3 Carlucci, Lorenzo
3 Cholak, Peter A.
3 Chong, Chi Tat
3 Greenberg, Noam
3 Hirschfeldt, Denis Roman
3 Hölzl, Rupert
3 Kreuzer, Alexander P.
3 Mileti, Joseph R.
3 Sanders, Sam
3 Shafer, Paul
3 Towsner, Henry
3 Wang, Wei
2 Chatterjee, Debasish
2 Corduan, Jared R.
2 De Schutter, Bart
2 Fernandes, Cristina G.
2 Gherardi, Guido
2 Hendtlass, Matthew Ralph John
2 Kihara, Takayuki
2 Kundu, Atreyee
2 Li, Wei
2 Németh, László
2 Rathjen, Michael
2 Simpson, Stephen G.
2 Yang, Yue
1 Afshari, Bahareh
1 Aharoni, Ron
1 Ahmad, Ali
1 Ait El Cadi, Abdessamad
1 Albin, Nathan
1 Ali, Usman
1 Anderson, Bernard A.
1 Arai, Toshiyasu
1 Artiba, Abdelhakim
1 Astor, Eric P.
1 Bagaria, Joan
1 Bandopadhyay, Sriparna
1 Belkhir, Amine
1 Ben Atitallah, Rabie
1 Berardi, Stefano
1 Bienvenu, Laurent
1 Brown, Douglas K.
1 Brydges, David C.
1 Burgin, Mark
1 Câmpeanu, Cezar
1 Castellares, Fredy
1 Catone, Christopher J.
1 Chen, Fuyuan
1 Chen, Guantao
1 Conidis, Chris J.
1 Cordeiro, Gauss Moutinho
1 Cordón-Franco, Andrés
1 Czech, Łukasz
1 Das, Sunil Ranjan
1 Davis, Caleb S.
1 de Rezende, Susanna F.
1 Diamondstone, David E.
1 Dodig-Crnkovic, Gordana
1 Domańska, Diana
1 Dopazo, Esther
1 Downey, Rodney Graham
1 Džamonja, Mirna
1 Ehrenmüller, Julia
1 Farahani, Samira S.
1 Farhoodi, Roozbeh
1 Fernández Duque, David
1 Filom, Khashayar
1 Fischer, Mareike
1 Friedman, Harvey M.
1 Frittaion, Emanuele
1 Galla, Michelle
1 Gdawiec, Krzysztof
1 Godolphin, E. J.
1 Godolphin, Janet D.
1 Goh, Jun Le
1 Groszek, Marcia J.
1 Gura, Kirill
1 Gutin, Gregory Z.
1 Hanafi, Saïd
1 Hanif, Nazia
1 Heise, Carl Georg
1 Herbst, Lina
1 Higuchi, Kojiro
1 Hughes, Noah A.
1 Imran, Muhammad
1 Jessop, Carol Lynne
1 Jockusch, Carl G. jun.
...and 75 more Authors
all top 5

Cited in 57 Serials

18 The Journal of Symbolic Logic
14 Archive for Mathematical Logic
13 Annals of Pure and Applied Logic
9 The Bulletin of Symbolic Logic
7 Advances in Mathematics
7 Notre Dame Journal of Formal Logic
5 Transactions of the American Mathematical Society
5 Mathematical Logic Quarterly (MLQ)
5 Journal of Mathematical Logic
4 Discrete Mathematics
4 Computability
3 Israel Journal of Mathematics
3 Proceedings of the American Mathematical Society
2 Information and Computation
2 Linear Algebra and its Applications
2 Theory of Computing Systems
1 American Mathematical Monthly
1 Computers & Mathematics with Applications
1 Discrete Applied Mathematics
1 Journal of Mathematical Physics
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Beiträge zur Algebra und Geometrie
1 Automatica
1 Czechoslovak Mathematical Journal
1 Dissertationes Mathematicae
1 Journal of Combinatorial Theory. Series A
1 Journal of Combinatorial Theory. Series B
1 Journal of Statistical Planning and Inference
1 Memoirs of the American Mathematical Society
1 Theoretical Computer Science
1 Topology and its Applications
1 Acta Mathematicae Applicatae Sinica. English Series
1 Journal of Complexity
1 Journal of the American Mathematical Society
1 Neural Computation
1 MSCS. Mathematical Structures in Computer Science
1 European Journal of Operational Research
1 Journal of Elasticity
1 Journal of Statistical Computation and Simulation
1 Indagationes Mathematicae. New Series
1 The Journal of Analysis
1 Journal of Heuristics
1 European Journal of Control
1 Mathematical Communications
1 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations
1 Journal of Integer Sequences
1 International Journal of Applied Mathematics and Computer Science
1 Entropy
1 Journal of Applied Mathematics and Computing
1 Journal of the Korean Statistical Society
1 Frontiers of Mathematics in China
1 Optimization Letters
1 Logical Methods in Computer Science
1 The College Mathematics Journal
1 Nonlinear Analysis. Hybrid Systems
1 International Journal of Combinatorics
1 Axioms

Citations by Year