| Publication | Date of Publication | Type |
|---|
| The independence of DC from AD | 2021-11-12 | Paper |
| Introduction to Q-theory | 2020-03-09 | Paper |
| Strong measure zero and infinite games | 2017-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118348 | 2012-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118356 | 2012-03-02 | Paper |
| Extremes in the degrees of inferability | 1994-05-03 | Paper |
| Learning via queries in [+, <] | 1992-09-27 | Paper |
| Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion | 1989-01-01 | Paper |
| Injecting inconsistencies into models of PA | 1989-01-01 | Paper |
| Injecting inconsistencies into models of PA | 1989-01-01 | Paper |
| Squares with diamonds and Souslin trees with special squares | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690815 | 1985-01-01 | Paper |
| On the Relative Consistency Strength of Determinacy Hypothesis | 1985-01-01 | Paper |
| Explicit Henkin sentences | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3705445 | 1983-01-01 | Paper |
| Rapidly growing Ramsey functions | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3944599 | 1981-01-01 | Paper |
| Rosser sentences | 1979-01-01 | Paper |
| Erratum: A Fast Monte-Carlo Test for Primality | 1978-01-01 | Paper |
| Strong axioms of infinity and elementary embeddings | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4168607 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4173351 | 1978-01-01 | Paper |
| Hyperarithmetically Encodable Sets | 1978-01-01 | Paper |
| Fixed points of jump preserving automorphisms of degrees | 1977-01-01 | Paper |
| A Fast Monte-Carlo Test for Primality | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140968 | 1977-01-01 | Paper |
| Definability of measures and ultrafilters | 1977-01-01 | Paper |
| Provability interpretations of modal logic | 1976-01-01 | Paper |
| On Sets Cook-Reducible to Sparse Sets | 1976-01-01 | Paper |
| On partitions into stationary sets | 1975-01-01 | Paper |
| Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4078034 | 1974-01-01 | Paper |
| On the number of complete Boolean algebras | 1972-01-01 | Paper |
| On the decomposition of sets of reals to borel sets | 1972-01-01 | Paper |
| Iterated Cohen extensions and Souslin's problem | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626665 | 1971-01-01 | Paper |
| A model of set-theory in which every set of reals is Lebesgue measurable | 1970-01-01 | Paper |
| Internal cohen extensions | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626664 | 1970-01-01 | Paper |
| A basis theorem for \(\sum^ 1_ 3\) sets of reals | 1969-01-01 | Paper |
| On the Cardinality of $$ \sum_2^1 $$ Sets of Reals | 1969-01-01 | Paper |
| Measurable cardinals and the continuum hypothesis | 1967-01-01 | Paper |
| A Nonconstructible Δ 1 3 Set of Integers | 1967-01-01 | Paper |
| New proof of a theorem of Gaifman and Hales | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599815 | 1965-01-01 | Paper |
| The consistency strength of NFUB | N/A | Paper |
