| Publication | Date of Publication | Type |
|---|
Adventures in Gödel Incompleteness
History and Philosophy of Logic | 2026-03-31 | Paper |
When bi-interpretability implies synonymy
The Review of Symbolic Logic | 2026-01-16 | Paper |
Concrete mathematical incompleteness: basic emulation theory
Outstanding Contributions to Logic | 2020-02-05 | Paper |
Independence of Ramsey theorem variants using \(\varepsilon _0\)
Proceedings of the American Mathematical Society | 2016-03-02 | Paper |
| Integration on the Surreals: a Conjecture of Conway, Kruskal and Norton | 2015-05-10 | Paper |
Foundational aspects of singular integrals
Journal of Functional Analysis | 2014-11-19 | Paper |
| My forty years on his shoulders | 2013-10-29 | Paper |
| Concept calculus: much better than | 2011-07-06 | Paper |
Expansions of the real field by open sets: definability versus interpretability
Journal of Symbolic Logic | 2011-01-12 | Paper |
| The inevitability of logical strength: strict reverse mathematics | 2010-01-13 | Paper |
What is o-minimality?
Annals of Pure and Applied Logic | 2008-12-05 | Paper |
| scientific article; zbMATH DE number 5295811 (Why is no real title available?) | 2008-07-01 | Paper |
Combining decision procedures for the reals
Logical Methods in Computer Science | 2007-10-11 | Paper |
Expansions of o-minimal structures by fast sequences
Journal of Symbolic Logic | 2006-01-16 | Paper |
| scientific article; zbMATH DE number 2236633 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2236634 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2222016 (Why is no real title available?) | 2005-11-02 | Paper |
| scientific article; zbMATH DE number 2152227 (Why is no real title available?) | 2005-04-04 | Paper |
| scientific article; zbMATH DE number 2144529 (Why is no real title available?) | 2005-03-14 | Paper |
The number of certain integral polynomials and nonrecursive sets of integers, Part 1
Transactions of the American Mathematical Society | 2004-12-09 | Paper |
The number of certain integral polynomials and nonrecursive sets of integers, Part 2
Transactions of the American Mathematical Society | 2004-12-09 | Paper |
Three-quantifier sentences
Fundamenta Mathematicae | 2003-09-10 | Paper |
PRIMITIVE INDEPENDENCE RESULTS
Journal of Mathematical Logic | 2003-06-29 | Paper |
| scientific article; zbMATH DE number 1870413 (Why is no real title available?) | 2003-02-18 | Paper |
Long finite sequences
Journal of Combinatorial Theory. Series A | 2002-08-07 | Paper |
| scientific article; zbMATH DE number 1547008 (Why is no real title available?) | 2001-11-23 | Paper |
| scientific article; zbMATH DE number 1531925 (Why is no real title available?) | 2001-08-28 | Paper |
Does mathematics need new axioms?
The Bulletin of Symbolic Logic | 2001-07-26 | Paper |
Subtle cardinals and linear orderings
Annals of Pure and Applied Logic | 2001-07-24 | Paper |
Expansions of o-minimal structures by sparse sets
Fundamenta Mathematicae | 2001-06-17 | Paper |
Finite functions and the necessary use of large cardinals
Annals of Mathematics. Second Series | 2000-07-31 | Paper |
Finite functions and the necessary use of large cardinals
Annals of Mathematics. Second Series | 2000-07-31 | Paper |
Finite functions and the necessary use of large cardinals
Annals of Mathematics. Second Series | 2000-07-31 | Paper |
| scientific article; zbMATH DE number 1339027 (Why is no real title available?) | 1999-09-22 | Paper |
Elementary descent recursion and proof theory
Annals of Pure and Applied Logic | 1995-02-09 | Paper |
Periodic points and subsystems of second-order arithmetic
Annals of Pure and Applied Logic | 1993-08-09 | Paper |
Whither relevant arithmetic?
Journal of Symbolic Logic | 1993-04-01 | Paper |
| Algorithmic Procedures | 1993-01-16 | Paper |
Reverse mathematics and homeomorphic embeddings
Annals of Pure and Applied Logic | 1992-06-28 | Paper |
Weak comparability of well orderings and reverse mathematics
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
Decidability in elementary analysis. II
Advances in Mathematics | 1990-01-01 | Paper |
A framework for measuring the complexity of mathematical concepts
Advances in Applied Mathematics | 1990-01-01 | Paper |
A Borel reductibility theory for classes of countable structures
Journal of Symbolic Logic | 1989-01-01 | Paper |
Decidability in elementary analysis. I
Advances in Mathematics | 1989-01-01 | Paper |
The equivalence of the disjunction and existence properties for modal arithmetic
Journal of Symbolic Logic | 1989-01-01 | Paper |
Computing power series in polynomial time
Advances in Applied Mathematics | 1988-01-01 | Paper |
The disjunction and existence properties for axiomatic systems of truth
Annals of Pure and Applied Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4033746 (Why is no real title available?) | 1987-01-01 | Paper |
An axiomatic approach to self-referential truth
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
Maximality in modal logic
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
Lindenbaum algebras of intuitionistic theories and free categories
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
Epistemic and intuitionistic formal systems
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
On the quantificational logic of intuitionistic set theory
Mathematical Proceedings of the Cambridge Philosophical Society | 1986-01-01 | Paper |
Necessary uses of abstract set theory in finite mathematics
Advances in Mathematics | 1986-01-01 | Paper |
Intuitionistically provable recursive well-orderings
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
The lack of definable witnesses and provably recursive functions in intuitionistic set theories
Advances in Mathematics | 1985-01-01 | Paper |
Addendum to ``Countable algebra and set existence axioms''
Annals of Pure and Applied Logic | 1985-01-01 | Paper |
Arithmetic transfinite induction and recursive well-orderings
Advances in Mathematics | 1985-01-01 | Paper |
The computational complexity of maximization and integration
Advances in Mathematics | 1984-01-01 | Paper |
Corrigendum to ``Set existence property for intuitionistic theories with dependent choice''
Annals of Pure and Applied Logic | 1984-01-01 | Paper |
Large sets in intuitionistic set theory
Annals of Pure and Applied Logic | 1984-01-01 | Paper |
On the spectra of universal relational sentences
Information and Control | 1984-01-01 | Paper |
Countable algebra and set existence axioms
Annals of Pure and Applied Logic | 1983-01-01 | Paper |
Set existence property for intuitionistic theories with dependent choice
Annals of Pure and Applied Logic | 1983-01-01 | Paper |
Unary Borel functions and second-order arithmetic
Advances in Mathematics | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825795 (Why is no real title available?) | 1982-01-01 | Paper |
Computational complexity of real functions
Theoretical Computer Science | 1982-01-01 | Paper |
On the necessary use of abstract set theory
Advances in Mathematics | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3706440 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3737655 (Why is no real title available?) | 1980-01-01 | Paper |
A consistent Fubini-Tonelli theorem for nonmeasurable functions
Illinois Journal of Mathematics | 1980-01-01 | Paper |
On Definability of Nonmeasurable Sets
Canadian Journal of Mathematics | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3708384 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3614784 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3591986 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3613031 (Why is no real title available?) | 1978-01-01 | Paper |
On the derivability of instantiation properties
Journal of Symbolic Logic | 1978-01-01 | Paper |
Set theoretic foundations for constructive analysis
Annals of Mathematics. Second Series | 1977-01-01 | Paper |
A definable nonseparable invariant extension of Lebesgue measure
Illinois Journal of Mathematics | 1977-01-01 | Paper |
Uniformly defined descending sequences of degrees
Journal of Symbolic Logic | 1976-01-01 | Paper |
The complexity of explicit definitions
Advances in Mathematics | 1976-01-01 | Paper |
On decidability of equational theories
Journal of Pure and Applied Algebra | 1976-01-01 | Paper |
Recursiveness in Π 1 1 Paths Through | mathscrO
Proceedings of the American Mathematical Society | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3536056 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3485758 (Why is no real title available?) | 1975-01-01 | Paper |
| Large Models of Countable Height | 1975-01-01 | Paper |
One hundred and two problems in mathematical logic
Journal of Symbolic Logic | 1975-01-01 | Paper |
The disjunction property implies the numerical existence property
Proceedings of the National Academy of Sciences | 1975-01-01 | Paper |
Adding propositional connectives to countable infinitary logic
Mathematical Proceedings of the Cambridge Philosophical Society | 1975-01-01 | Paper |
A cumulative hierarchy of predicates
Mathematical Logic Quarterly | 1975-01-01 | Paper |
Provable equality in primitive recursive arithmetic with and without induction
Pacific Journal of Mathematics | 1975-01-01 | Paper |
| On Closed Sets of Ordinals | 1974-01-01 | Paper |
Minimality in the ${Δ^1}_2$-degrees
Fundamenta Mathematicae | 1974-01-01 | Paper |
On existence proofs of Hanf numbers
Journal of Symbolic Logic | 1974-01-01 | Paper |
PCA well-orderings of the line
Journal of Symbolic Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3427308 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3425598 (Why is no real title available?) | 1973-01-01 | Paper |
The consistency of classical set theory relative to a set theory with intu1tionistic logic
Journal of Symbolic Logic | 1973-01-01 | Paper |
Beth's theorem in cardinality logics
Israel Journal of Mathematics | 1973-01-01 | Paper |
Borel sets and hyperdegrees
Journal of Symbolic Logic | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3349780 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3349781 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3368624 (Why is no real title available?) | 1971-01-01 | Paper |
Higher set theory and mathematical practice
Annals of Mathematical Logic | 1971-01-01 | Paper |
Determinateness in the low protective hierarchy
Fundamenta Mathematicae | 1971-01-01 | Paper |
Approximating the standard model of analysis
Fundamenta Mathematicae | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3342822 (Why is no real title available?) | 1970-01-01 | Paper |
Bar Induction and Π<sub>1</sub><sup>1</sup>-<i>CA</i>
Journal of Symbolic Logic | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3317740 (Why is no real title available?) | 1968-01-01 | Paper |
