×
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: 51 Publications since 1987, including 2 Books
Reviewing Activity: 191 Reviews
Co-Authors: 32 Co-Authors with 30 Joint Publications
576 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 322 times in 222 Documents Cited by Year
Combinatorics and graph theory. 2nd ed. Zbl 1170.05001
Harris, John M.; Hirst, Jeffry L.; Mossinghoff, Michael J.
43
2008
On uniform relationships between combinatorial problems. Zbl 1528.03095
Dorais, François G.; Dzhafarov, Damir D.; Hirst, Jeffry L.; Mileti, Joseph R.; Shafer, Paul
40
2016
Reverse mathematics and ordinal exponentiation. Zbl 0791.03034
Hirst, Jeffry L.
27
1994
Free sets and reverse mathematics. Zbl 1092.03031
Cholak, Peter A.; Giusto, Mariagnese; Hirst, Jeffry L.; Jockusch, Carl G. jun.
19
2005
Weak comparability of well orderings and reverse mathematics. Zbl 0706.03044
Friedman, Harvey M.; Hirst, Jeffry L.
18
1990
Logical analysis of some theorems of combinatorics and topological dynamics. Zbl 0652.03040
Blass, Andreas R.; Hirst, Jeffry L.; Simpson, Stephen G.
15
1987
Reverse mathematics, computability, and partitions of trees. Zbl 1162.03009
Chubb, Jennifer; Hirst, Jeffry L.; McNicholl, Timothy H.
13
2009
Combinatorics and graph theory. Zbl 0949.05001
Harris, John M.; Hirst, Jeffry L.; Mossinghoff, Michael J.
12
2000
The polarized Ramsey’s theorem. Zbl 1172.03007
Dzhafarov, Damir D.; Hirst, Jeffry L.
12
2009
Marriage theorems and reverse mathematics. Zbl 0701.03032
Hirst, Jeffry L.
11
1990
Generics for computable Mathias forcing. Zbl 1320.03072
Cholak, Peter A.; Dzhafarov, Damir D.; Hirst, Jeffry L.; Slaman, Theodore A.
10
2014
Reverse mathematics and uniformity in proofs without excluded middle. Zbl 1225.03083
Hirst, Jeffry L.; Mummert, Carl
10
2011
Representations of reals in reverse mathematics. Zbl 1138.03012
Hirst, Jeffry L.
9
2007
Hindman’s theorem, ultrafilters, and reverse mathematics. Zbl 1070.03039
Hirst, Jeffry L.
6
2004
Hilbert versus Hindman. Zbl 1239.03038
Hirst, Jeffry L.
6
2012
Using Ramsey’s theorem once. Zbl 1475.03071
Hirst, Jeffry L.; Mummert, Carl
5
2019
Reverse mathematics, trichotomy and dichotomy. Zbl 1296.03008
Dorais, François G.; Hirst, Jeffry L.; Shafer, Paul
5
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
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.
4
2010
A survey of the reverse mathematics of ordinal arithmetic. Zbl 1088.03047
Hirst, Jeffry L.
4
2005
Reverse mathematics and rank functions for directed graphs. Zbl 0968.03070
Hirst, Jeffry L.
4
2000
On the existence of a connected component of a graph. Zbl 1337.03086
Gura, Kirill; Hirst, Jeffry L.; Mummert, Carl
4
2015
Infinite versions of some problems from finite complexity theory. Zbl 0882.03041
Hirst, Jeffry L.; Lempp, Steffen
3
1996
Leaf management. Zbl 1485.03242
Hirst, Jeffry L.
3
2020
A note on compactness of countable sets. Zbl 1089.03052
Hirst, Jeffry L.
3
2005
Connected components of graphs and reverse mathematics. Zbl 0725.03039
Hirst, Jeffry L.
3
1991
Reverse mathematics and marriage problems with unique solutions. Zbl 1386.03015
Hirst, Jeffry L.; Hughes, Noah A.
3
2015
Reverse mathematics of matroids. Zbl 1480.03007
Hirst, Jeffry L.; Mummert, Carl
3
2017
Ordinal inequalities, transfinite induction, and reverse mathematics. Zbl 0930.03085
Hirst, Jeffry L.
3
1999
Disguising induction: proofs of the pigeonhole principle for trees. Zbl 1358.03020
Hirst, Jeffry L.
3
2014
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
Combinatorial principles equivalent to weak induction. Zbl 1485.03025
Davis, Caleb; Hirschfeldt, Denis R.; Hirst, Jeffry; Pardo, Jake; Pauly, Arno; Yokoyama, Keita
2
2020
Reverse mathematics and ordinal suprema. Zbl 1089.03053
Hirst, Jeffry L.
2
2005
Reverse mathematics and algebraic field extensions. Zbl 1308.03038
Dorais, François G.; Hirst, Jeffry; Shafer, Paul
2
2013
On Mathias generic sets. Zbl 1358.03054
Cholak, Peter A.; Dzhafarov, Damir D.; Hirst, Jeffry L.
1
2012
Minima of initial segments of infinite sequences of reals. Zbl 1042.03038
Hirst, Jeffry L.
1
2004
Reverse mathematics and marriage problems with finitely many solutions. Zbl 1355.03011
Hirst, Jeffry L.; Hughes, Noah A.
1
2016
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
Reverse mathematics and Weihrauch analysis motivated by finite complexity theory. Zbl 07481738
BeMent, Zach; Hirst, Jeffry; Wallace, Asuka
1
2021
Reverse mathematics and Weihrauch analysis motivated by finite complexity theory. Zbl 07481738
BeMent, Zach; Hirst, Jeffry; Wallace, Asuka
1
2021
Leaf management. Zbl 1485.03242
Hirst, Jeffry L.
3
2020
Combinatorial principles equivalent to weak induction. Zbl 1485.03025
Davis, Caleb; Hirschfeldt, Denis R.; Hirst, Jeffry; Pardo, Jake; Pauly, Arno; Yokoyama, Keita
2
2020
Using Ramsey’s theorem once. Zbl 1475.03071
Hirst, Jeffry L.; Mummert, Carl
5
2019
Reverse mathematics of matroids. Zbl 1480.03007
Hirst, Jeffry L.; Mummert, Carl
3
2017
On uniform relationships between combinatorial problems. Zbl 1528.03095
Dorais, François G.; Dzhafarov, Damir D.; Hirst, Jeffry L.; Mileti, Joseph R.; Shafer, Paul
40
2016
Reverse mathematics and marriage problems with finitely many solutions. Zbl 1355.03011
Hirst, Jeffry L.; Hughes, Noah A.
1
2016
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
4
2015
Reverse mathematics and marriage problems with unique solutions. Zbl 1386.03015
Hirst, Jeffry L.; Hughes, Noah A.
3
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.
10
2014
Disguising induction: proofs of the pigeonhole principle for trees. Zbl 1358.03020
Hirst, Jeffry L.
3
2014
Reverse mathematics and algebraic field extensions. Zbl 1308.03038
Dorais, François G.; Hirst, Jeffry; Shafer, Paul
2
2013
Hilbert versus Hindman. Zbl 1239.03038
Hirst, Jeffry L.
6
2012
Reverse mathematics, trichotomy and dichotomy. Zbl 1296.03008
Dorais, François G.; Hirst, Jeffry L.; Shafer, Paul
5
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
10
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.
4
2010
Reverse mathematics, computability, and partitions of trees. Zbl 1162.03009
Chubb, Jennifer; Hirst, Jeffry L.; McNicholl, Timothy H.
13
2009
The polarized Ramsey’s theorem. Zbl 1172.03007
Dzhafarov, Damir D.; Hirst, Jeffry L.
12
2009
Combinatorics and graph theory. 2nd ed. Zbl 1170.05001
Harris, John M.; Hirst, Jeffry L.; Mossinghoff, Michael J.
43
2008
Representations of reals in reverse mathematics. Zbl 1138.03012
Hirst, Jeffry L.
9
2007
Free sets and reverse mathematics. Zbl 1092.03031
Cholak, Peter A.; Giusto, Mariagnese; Hirst, Jeffry L.; Jockusch, Carl G. jun.
19
2005
A survey of the reverse mathematics of ordinal arithmetic. Zbl 1088.03047
Hirst, Jeffry L.
4
2005
A note on compactness of countable sets. Zbl 1089.03052
Hirst, Jeffry L.
3
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.
12
2000
Reverse mathematics and rank functions for directed graphs. Zbl 0968.03070
Hirst, Jeffry L.
4
2000
Ordinal inequalities, transfinite induction, and reverse mathematics. Zbl 0930.03085
Hirst, Jeffry L.
3
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
3
1996
Reverse mathematics and ordinal exponentiation. Zbl 0791.03034
Hirst, Jeffry L.
27
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.
11
1990
Logical analysis of some theorems of combinatorics and topological dynamics. Zbl 0652.03040
Blass, Andreas R.; Hirst, Jeffry L.; Simpson, Stephen G.
15
1987
all top 5

Cited by 234 Authors

22 Patey, Ludovic
19 Hirst, Jeffry Lynn
14 Dzhafarov, Damir D.
9 Freund, Anton
9 Pauly, Arno M.
8 Brattka, Vasco
8 Solomon, Reed
7 Greenberg, Noam
7 Montalbán, Antonio
7 Sanders, Sam
6 Carlucci, Lorenzo
6 Marcone, Alberto
6 Rathjen, Michael
6 Shore, Richard Arnold
5 Fujiwara, Makoto
5 Hirschfeldt, Denis Roman
5 Mummert, Carl
5 Shafer, Paul
4 Cholak, Peter A.
4 Chong, Chi Tat
4 Dorais, François Gilbert
4 Downey, Rodney Graham
4 Monin, Benoît
3 Gherardi, Guido
3 Hölzl, Rupert
3 Kreuzer, Alexander P.
3 Li, Wei
3 Liu, Lu
3 Mileti, Joseph R.
3 Simpson, Stephen G.
3 Soldà, Giovanni
3 Towsner, Henry
3 Wang, Wei
3 Weiermann, Andreas
3 Westrick, Linda Brown
3 Yang, Yue
2 Aguilera, Juan Pablo
2 Astor, Eric P.
2 Bienvenu, Laurent
2 Chatterjee, Debasish
2 Corduan, Jared R.
2 Das, Sunil Ranjan
2 De Schutter, Bart
2 Dharmarajan, R.
2 Fernandes, Cristina G.
2 Fiori-Carones, Marta
2 Flood, Stephen P.
2 Friedman, Harvey M.
2 Goh, Jun Le
2 Hendtlass, Matthew Ralph John
2 Hughes, Noah A.
2 Jura, Matthew
2 Kihara, Takayuki
2 Kundu, Atreyee
2 Levin, Oscar
2 Markkanen, Tyler
2 Melnikov, Alexander G.
2 Miller, Joseph S.
2 Németh, László
2 Nies, André Otfrid
2 Ramachandran, Doraiswamy
2 Reitzes, Sarah C.
2 Shan, Songling
2 Siddiqui, Muhammad Kamran
2 Soskova, Mariya Ivanova
2 Turetsky, Dan
2 Uftring, Patrick
2 Valenti, Manlio
2 Xiong, Maosheng
2 Yokoyama, Keita
2 Yu, Xiaokang
1 Abunamous, Amna A. E.
1 Adi, Dana
1 Afshari, Bahareh
1 Aharoni, Ron
1 Ahmad, Ali
1 Ait El Cadi, Abdessamad
1 Akama, Yohji
1 Albin, Nathan
1 Ali, Usman
1 Anderson, Bernard A.
1 Arai, Toshiyasu
1 Artiba, Abdelhakim
1 Austin, Jathan W.
1 Bagaria, Joan
1 Baig, Abdul Qudair
1 Bandopadhyay, Sriparna
1 Barrett, Jordan Mitchell
1 Basco, Vincenzo
1 Bazhenov, Nikolaĭ Alekseevich
1 Belkhir, Amine
1 BeMent, Zach
1 Ben Atitallah, Rabie
1 Benham, Heidi
1 Berardi, Stefano
1 Beros, Achilles A.
1 Beros, Konstantinos A.
1 Bertsimas, Dimitris John
1 Birns, Samuel D.
1 Brown, Douglas K.
...and 134 more Authors
all top 5

Cited in 79 Serials

25 The Journal of Symbolic Logic
18 Annals of Pure and Applied Logic
17 Archive for Mathematical Logic
10 Notre Dame Journal of Formal Logic
9 Advances in Mathematics
9 The Bulletin of Symbolic Logic
8 Transactions of the American Mathematical Society
8 Journal of Mathematical Logic
7 Computability
6 Mathematical Logic Quarterly (MLQ)
4 Discrete Mathematics
4 Israel Journal of Mathematics
3 Proceedings of the American Mathematical Society
3 Information and Computation
2 Discrete Applied Mathematics
2 Memoirs of the American Mathematical Society
2 Theoretical Computer Science
2 Linear Algebra and its Applications
2 Theory of Computing Systems
2 Logical Methods in Computer Science
2 The College Mathematics Journal
2 Discrete Mathematics, Algorithms and Applications
1 American Mathematical Monthly
1 Computers & Mathematics with Applications
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 Fundamenta Mathematicae
1 Journal of Combinatorial Theory. Series A
1 Journal of Combinatorial Theory. Series B
1 Journal of Number Theory
1 Journal of Statistical Planning and Inference
1 Operations Research
1 Pacific Journal of Mathematics
1 Topology and its Applications
1 Systems & Control Letters
1 Acta Mathematica Hungarica
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 Aequationes Mathematicae
1 European Journal of Operational Research
1 Journal of Elasticity
1 Journal of Statistical Computation and Simulation
1 Indagationes Mathematicae. New Series
1 Journal of Logic, Language and Information
1 The Journal of Analysis
1 Journal of the Egyptian Mathematical Society
1 Selecta Mathematica. New Series
1 Electronic Journal of Probability
1 Journal of Heuristics
1 ELA. The Electronic Journal of Linear Algebra
1 European Journal of Control
1 Mathematical Communications
1 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations
1 Mathematical Physics, Analysis and Geometry
1 Journal of Integer Sequences
1 International Journal of Applied Mathematics and Computer Science
1 Entropy
1 Journal of Applied Mathematics and Computing
1 Oberwolfach Reports
1 Journal of the Korean Statistical Society
1 Frontiers of Mathematics in China
1 Optimization Letters
1 Applicable Analysis and Discrete Mathematics
1 Nonlinear Analysis. Hybrid Systems
1 Ars Mathematica Contemporanea
1 International Journal of Combinatorics
1 Forum of Mathematics, Sigma
1 Axioms
1 Transactions of the London Mathematical Society
1 Mathematics
1 Proceedings of the American Mathematical Society. Series B
1 AIMS Mathematics

Citations by Year