Available identifiers
zbMath Open hirst.jeffry-lMaRDI QIDQ335001
List of research outcomes
|
Banach’s theorem in higher-order reverse mathematics | 2023-11-30 | Paper |
Reverse mathematics and Weihrauch analysis motivated by finite complexity theory | 2022-02-28 | Paper |
Combinatorial principles equivalent to weak induction | 2020-11-09 | Paper |
Leaf management | 2020-11-09 | Paper |
Using Ramsey's theorem once | 2019-09-19 | Paper |
Reverse mathematics and colorings of hypergraphs | 2019-07-04 | Paper |
J. Stillwell, Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018, xiii + 182 pp. | 2018-08-13 | Paper |
Reverse Mathematics of Matroids | 2017-04-04 | Paper |
Reverse mathematics and marriage problems with finitely many solutions | 2016-11-01 | Paper |
On uniform relationships between combinatorial problems | 2016-03-29 | Paper |
COMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF INDUCTION | 2016-03-22 | Paper |
Denis R. Hirschfeldt. Slicing the truth: On the computable and reverse mathematics of combinatorial principles. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, vol. 28. World Scientific Publishing Co. Pte. Ltd., Singapore, 2015, xiv+214 pp. | 2016-03-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q3464620 | 2016-01-27 | Paper |
On the existence of a connected component of a graph | 2015-10-20 | Paper |
Reverse mathematics and marriage problems with unique solutions | 2015-02-23 | Paper |
Generics for computable Mathias forcing | 2014-06-06 | Paper |
Reverse Mathematics and Algebraic Field Extensions | 2014-04-30 | Paper |
More reverse mathematics of the Heine-Borel Theorem | 2012-12-17 | Paper |
Reverse mathematics, trichotomy, and dichotomy | 2012-12-17 | Paper |
On uniform relationships between combinatorial problems | 2012-12-01 | Paper |
On Mathias Generic Sets | 2012-08-14 | Paper |
Hilbert versus Hindman | 2012-02-10 | Paper |
Reverse mathematics and uniformity in proofs without excluded middle | 2011-06-03 | Paper |
Ramsey's theorem for trees: the polarized tree theorem and notions of stability | 2010-04-15 | Paper |
Partitions of trees and \({{\text \textsf{ACA}}^\prime_{0}}\) | 2009-05-06 | Paper |
The polarized Ramsey's theorem | 2009-04-27 | Paper |
Reverse mathematics, computability, and partitions of trees | 2009-03-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q3508462 | 2008-07-01 | Paper |
Representations of Reals in Reverse Mathematics | 2008-02-01 | Paper |
Reverse mathematics of separably closed sets | 2006-01-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q5711879 | 2005-12-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q5711886 | 2005-12-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q5711887 | 2005-12-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q5711888 | 2005-12-08 | Paper |
Hindman's theorem, ultrafilters, and reverse mathematics | 2005-08-29 | Paper |
Minima of initial segments of infinite sequences of reals | 2004-03-15 | Paper |
Reverse mathematics and rank functions for directed graphs | 2001-09-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4950461 | 2000-04-02 | Paper |
Ordinal inequalities, transfinite induction, and reverse mathematics | 2000-02-08 | Paper |
Reverse Mathematics and Recursive Graph Theory | 1999-08-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3840692 | 1999-03-07 | Paper |
Reverse Mathematics and Ordinal Multiplication | 1999-01-06 | Paper |
Reverse mathematics of prime factorization of ordinals | 1998-08-10 | Paper |
Infinite versions of some problems from finite complexity theory | 1998-03-12 | Paper |
Derived sequences and reverse mathematics | 1995-01-24 | Paper |
Embeddings of countable closed sets and reverse mathematics | 1994-04-21 | Paper |
Reverse mathematics and ordinal exponentiation | 1994-03-10 | Paper |
Reverse mathematics and homeomorphic embeddings | 1992-06-28 | Paper |
Connected components of graphs and reverse mathematics | 1991-01-01 | Paper |
Weak comparability of well orderings and reverse mathematics | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3478406 | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3797180 | 1987-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
This page was built for person: Jeffry L. Hirst