| Publication | Date of Publication | Type |
|---|
Special Section: Computability Theory and the Foundation of Mathematics
Annals of the Japan Association for Philosophy of Science | 2023-03-09 | Paper |
Foundations of mathematics: an optimistic message
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
| Pseudojump inversion in special r. b. $\Pi^0_1$ classes | 2021-02-11 | Paper |
| Turing Degrees of Hyperjumps | 2021-01-21 | Paper |
| Very weak fragments of weak K\H{o}nig's lemma | 2021-01-03 | Paper |
| A symmetric $\beta$-model | 2018-03-06 | Paper |
Reverse mathematics, Young diagrams, and the ascending chain condition
Journal of Symbolic Logic | 2017-08-03 | Paper |
Turing Degrees and Muchnik Degrees of Recursively Bounded DNR Functions
Computability and Complexity | 2017-04-04 | Paper |
Mass problems and density
Journal of Mathematical Logic | 2017-01-10 | Paper |
Implicit definability in arithmetic
Notre Dame Journal of Formal Logic | 2016-09-01 | Paper |
Mass problems and intuitionistic higher-order logic
Computability | 2016-04-13 | Paper |
Degrees of unsolvability: a tutorial
Evolving Computability | 2015-10-20 | Paper |
| Comparing WO$(\omega^\omega)$ with $\Sigma^0_2$ induction | 2015-08-11 | Paper |
Symbolic dynamics: entropy = dimension = complexity
Theory of Computing Systems | 2015-07-20 | Paper |
Cone avoidance and randomness preservation
Annals of Pure and Applied Logic | 2015-05-15 | Paper |
| scientific article; zbMATH DE number 6415575 (Why is no real title available?) | 2015-03-16 | Paper |
Toward objectivity in mathematics
Infinity and Truth | 2015-03-16 | Paper |
Mass problems and intuitionistic higher-order logic
(available as arXiv preprint) | 2014-08-12 | Paper |
Medvedev degrees of two-dimensional subshifts of finite type
Ergodic Theory and Dynamical Systems | 2014-05-19 | Paper |
Baire categoricity and \(\Sigma_1^0\)-induction
Notre Dame Journal of Formal Logic | 2014-04-04 | Paper |
Propagation of partial randomness
Annals of Pure and Applied Logic | 2013-12-10 | Paper |
Schnorr randomness and the Lebesgue differentiation theorem
Proceedings of the American Mathematical Society | 2013-11-14 | Paper |
| Harrington's results on arithmetical singletons | 2013-03-04 | Paper |
Reverse mathematics and Peano categoricity
Annals of Pure and Applied Logic | 2013-02-19 | Paper |
Mass problems associated with effectively closed sets
Tôhoku Mathematical Journal. Second Series | 2012-03-21 | Paper |
A nonstandard counterpart of WWKL
Notre Dame Journal of Formal Logic | 2011-11-10 | Paper |
| The Gödel hierarchy and reverse mathematics | 2011-03-02 | Paper |
| scientific article; zbMATH DE number 5838313 (Why is no real title available?) | 2011-01-18 | Paper |
Mass problems and measure-theoretic regularity
The Bulletin of Symbolic Logic | 2010-01-07 | Paper |
| Subsystems of second order arithmetic | 2009-09-04 | Paper |
| Some fundamental issues concerning degrees of unsolvability | 2008-10-20 | Paper |
MASS PROBLEMS AND HYPERARITHMETICITY
Journal of Mathematical Logic | 2008-08-26 | Paper |
Mass problems and intuitionism
Notre Dame Journal of Formal Logic | 2008-06-18 | Paper |
Almost everywhere domination and superhighness
Mathematical Logic Quarterly | 2007-09-17 | Paper |
Mass problems and almost everywhere domination
Mathematical Logic Quarterly | 2007-09-17 | Paper |
An extension of the recursively enumerable Turing degrees
Journal of the London Mathematical Society | 2007-07-23 | Paper |
Reverse Mathematics and Π<sup>1</sup><sub>2</sub> Comprehension
The Bulletin of Symbolic Logic | 2006-06-12 | Paper |
| scientific article; zbMATH DE number 5013084 (Why is no real title available?) | 2006-03-17 | Paper |
Mass Problems and Randomness
The Bulletin of Symbolic Logic | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 2236645 (Why is no real title available?) | 2005-12-08 | Paper |
Almost everywhere domination
Journal of Symbolic Logic | 2005-08-29 | Paper |
An incompleteness theorem for <i>β</i><sub><i>n</i></sub>-models
Journal of Symbolic Logic | 2005-08-29 | Paper |
Embeddings into the Medvedev and Muchnik lattices of ^0_1 classes
Archive for Mathematical Logic | 2004-12-16 | Paper |
Vitali's theorem and WWKL
Archive for Mathematical Logic | 2003-09-16 | Paper |
| scientific article; zbMATH DE number 1870416 (Why is no real title available?) | 2003-02-18 | Paper |
Some conservation results on weak König's lemma
Annals of Pure and Applied Logic | 2002-12-02 | Paper |
| scientific article; zbMATH DE number 1531925 (Why is no real title available?) | 2001-08-28 | Paper |
Located sets and reverse mathematics
Journal of Symbolic Logic | 2001-05-03 | Paper |
Separation and Weak König's Lemma
Journal of Symbolic Logic | 1999-10-11 | Paper |
| scientific article; zbMATH DE number 1226875 (Why is no real title available?) | 1998-11-25 | Paper |
Separable Banach space theory needs strong set existence axioms
Transactions of the American Mathematical Society | 1997-03-11 | Paper |
On the strength of König's duality theorem for countable bipartite graphs
Journal of Symbolic Logic | 1994-11-03 | Paper |
The Baire category theorem in weak subsystems of second-order arithmetic
Journal of Symbolic Logic | 1993-10-24 | Paper |
Periodic points and subsystems of second-order arithmetic
Annals of Pure and Applied Logic | 1993-08-09 | Paper |
| scientific article; zbMATH DE number 16110 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4156432 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4152374 (Why is no real title available?) | 1990-01-01 | Paper |
Measure theory and weak König's lemma
Archive for Mathematical Logic | 1990-01-01 | Paper |
Partial realizations of Hilbert's program
Journal of Symbolic Logic | 1988-01-01 | Paper |
Ordinal numbers and the Hilbert basis theorem
Journal of Symbolic Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4063093 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4055605 (Why is no real title available?) | 1987-01-01 | Paper |
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
A dual form of Erdős-Rado's canonization theorem
Journal of Combinatorial Theory. Series A | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3924748 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3916250 (Why is no real title available?) | 1985-01-01 | Paper |
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
Archiv für Mathematische Logik und Grundlagenforschung | 1985-01-01 | Paper |
Addendum to ``Countable algebra and set existence axioms''
Annals of Pure and Applied Logic | 1985-01-01 | Paper |
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
Archiv für Mathematische Logik und Grundlagenforschung | 1985-01-01 | Paper |
A dual form of Ramsey's theorem
Advances in Mathematics | 1984-01-01 | Paper |
Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
Journal of Symbolic Logic | 1984-01-01 | Paper |
Countable algebra and set existence axioms
Annals of Pure and Applied Logic | 1983-01-01 | Paper |
High and low Kleene degrees of coanalytic sets
Journal of Symbolic Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825795 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3782997 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3784889 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3782998 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3831926 (Why is no real title available?) | 1982-01-01 | Paper |
On the role of Ramsey quantifiers in first order arithmetic
Journal of Symbolic Logic | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3784869 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3726331 (Why is no real title available?) | 1980-01-01 | Paper |
Sets which do not have subsets of every higher degree
Journal of Symbolic Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3700817 (Why is no real title available?) | 1977-01-01 | Paper |
First-order theory of the degrees of recursive unsolvability
Annals of Mathematics. Second Series | 1977-01-01 | Paper |
A degree-theoretic definition of the ramified analytical hierarchy
Annals of Mathematical Logic | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3497842 (Why is no real title available?) | 1975-01-01 | Paper |
| Minimal Covers and Hyperdegrees | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3499732 (Why is no real title available?) | 1974-01-01 | Paper |
| Forcing and Models of Arithmetic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3537661 (Why is no real title available?) | 1974-01-01 | Paper |
Maximal sets in \(\alpha\)-recursion theory
Israel Journal of Mathematics | 1973-01-01 | Paper |
The α-finite injury method
Annals of Mathematical Logic | 1972-01-01 | Paper |
