| Publication | Date of Publication | Type |
|---|
| Concrete Mathematical Incompleteness: Basic Emulation Theory | 2020-02-05 | Paper |
| Independence of Ramsey theorem variants using $\varepsilon _0$ | 2016-03-02 | Paper |
| Integration on the Surreals: a Conjecture of Conway, Kruskal and Norton | 2015-05-10 | Paper |
| Foundational aspects of singular integrals | 2014-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2856501 | 2013-10-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012516 | 2011-07-06 | Paper |
| Expansions of the real field by open sets: definability versus interpretability | 2011-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3656426 | 2010-01-13 | Paper |
| What is o-minimality? | 2008-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509163 | 2008-07-01 | Paper |
| Combining decision procedures for the reals | 2007-10-11 | Paper |
| Expansions of o-minimal structures by fast sequences | 2006-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711885 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711884 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5702665 | 2005-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4663829 | 2005-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4656802 | 2005-03-14 | Paper |
| The number of certain integral polynomials and nonrecursive sets of integers, Part 1 | 2004-12-09 | Paper |
| The number of certain integral polynomials and nonrecursive sets of integers, Part 2 | 2004-12-09 | Paper |
| Three-quantifier sentences | 2003-09-10 | Paper |
| PRIMITIVE INDEPENDENCE RESULTS | 2003-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793024 | 2003-02-18 | Paper |
| Long finite sequences | 2002-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4522448 | 2001-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513968 | 2001-08-28 | Paper |
| Does Mathematics Need New Axioms? | 2001-07-26 | Paper |
| Subtle cardinals and linear orderings | 2001-07-24 | Paper |
| Expansions of o-minimal structures by sparse sets | 2001-06-17 | Paper |
| Finite functions and the necessary use of large cardinals | 2000-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264381 | 1999-09-22 | Paper |
| Elementary descent recursion and proof theory | 1995-02-09 | Paper |
| Periodic points and subsystems of second-order arithmetic | 1993-08-09 | Paper |
| Whither relevant arithmetic? | 1993-04-01 | Paper |
| Algorithmic Procedures | 1993-01-16 | Paper |
| Reverse mathematics and homeomorphic embeddings | 1992-06-28 | Paper |
| Decidability in elementary analysis. II | 1990-01-01 | Paper |
| Weak comparability of well orderings and reverse mathematics | 1990-01-01 | Paper |
| A framework for measuring the complexity of mathematical concepts | 1990-01-01 | Paper |
| Decidability in elementary analysis. I | 1989-01-01 | Paper |
| A Borel reductibility theory for classes of countable structures | 1989-01-01 | Paper |
| The equivalence of the disjunction and existence properties for modal arithmetic | 1989-01-01 | Paper |
| Computing power series in polynomial time | 1988-01-01 | Paper |
| The disjunction and existence properties for axiomatic systems of truth | 1988-01-01 | Paper |
| Maximality in modal logic | 1987-01-01 | Paper |
| Lindenbaum algebras of intuitionistic theories and free categories | 1987-01-01 | Paper |
| An axiomatic approach to self-referential truth | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773882 | 1987-01-01 | Paper |
| Epistemic and intuitionistic formal systems | 1986-01-01 | Paper |
| Necessary uses of abstract set theory in finite mathematics | 1986-01-01 | Paper |
| Intuitionistically provable recursive well-orderings | 1986-01-01 | Paper |
| On the quantificational logic of intuitionistic set theory | 1986-01-01 | Paper |
| Addendum to ``Countable algebra and set existence axioms | 1985-01-01 | Paper |
| The lack of definable witnesses and provably recursive functions in intuitionistic set theories | 1985-01-01 | Paper |
| Arithmetic transfinite induction and recursive well-orderings | 1985-01-01 | Paper |
| Corrigendum to ``Set existence property for intuitionistic theories with dependent choice | 1984-01-01 | Paper |
| Large sets in intuitionistic set theory | 1984-01-01 | Paper |
| The computational complexity of maximization and integration | 1984-01-01 | Paper |
| On the spectra of universal relational sentences | 1984-01-01 | Paper |
| Set existence property for intuitionistic theories with dependent choice | 1983-01-01 | Paper |
| Unary Borel functions and second-order arithmetic | 1983-01-01 | Paper |
| Countable algebra and set existence axioms | 1983-01-01 | Paper |
| Computational complexity of real functions | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671967 | 1982-01-01 | Paper |
| On the necessary use of abstract set theory | 1981-01-01 | Paper |
| A consistent Fubini-Tonelli theorem for nonmeasurable functions | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898491 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3924195 | 1980-01-01 | Paper |
| On Definability of Nonmeasurable Sets | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3900050 | 1979-01-01 | Paper |
| On the derivability of instantiation properties | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4159050 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4177562 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4179016 | 1978-01-01 | Paper |
| A definable nonseparable invariant extension of Lebesgue measure | 1977-01-01 | Paper |
| Set theoretic foundations for constructive analysis | 1977-01-01 | Paper |
| On decidability of equational theories | 1976-01-01 | Paper |
| The complexity of explicit definitions | 1976-01-01 | Paper |
| Recursiveness in Π 1 1 Paths Through | mathscrO | 1976-01-01 | Paper |
| Uniformly defined descending sequences of degrees | 1976-01-01 | Paper |
| Provable equality in primitive recursive arithmetic with and without induction | 1975-01-01 | Paper |
| Large Models of Countable Height | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4068706 | 1975-01-01 | Paper |
| One hundred and two problems in mathematical logic | 1975-01-01 | Paper |
| Adding propositional connectives to countable infinitary logic | 1975-01-01 | Paper |
| A cumulative hierarchy of predicates | 1975-01-01 | Paper |
| The disjunction property implies the numerical existence property | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4111536 | 1975-01-01 | Paper |
| On existence proofs of Hanf numbers | 1974-01-01 | Paper |
| On Closed Sets of Ordinals | 1974-01-01 | Paper |
| Minimality in the ${Δ^1}_2$-degrees | 1974-01-01 | Paper |
| PCA well-orderings of the line | 1974-01-01 | Paper |
| Beth's theorem in cardinality logics | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3214890 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3215216 | 1973-01-01 | Paper |
| Borel sets and hyperdegrees | 1973-01-01 | Paper |
| The consistency of classical set theory relative to a set theory with intu1tionistic logic | 1973-01-01 | Paper |
| Higher set theory and mathematical practice | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5625129 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5625130 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5641141 | 1971-01-01 | Paper |
| Approximating the standard model of analysis | 1971-01-01 | Paper |
| Determinateness in the low protective hierarchy | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5619071 | 1970-01-01 | Paper |
| Bar Induction and Π11-CA | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5597516 | 1968-01-01 | Paper |
