| Publication | Date of Publication | Type |
|---|
The independence of DC from AD
| 2021-11-12 | Paper |
Introduction to Q-theory
Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
Strong measure zero and infinite games
Archive for Mathematical Logic | 2017-10-09 | Paper |
scientific article; zbMATH DE number 6010994 (Why is no real title available?)
| 2012-03-02 | Paper |
scientific article; zbMATH DE number 6011002 (Why is no real title available?)
| 2012-03-02 | Paper |
Extremes in the degrees of inferability
Annals of Pure and Applied Logic | 1994-05-03 | Paper |
Learning via queries in [+, <]
Journal of Symbolic Logic | 1992-09-27 | Paper |
Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion
Journal of Symbolic Logic | 1989-01-01 | Paper |
Injecting inconsistencies into models of PA
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
Injecting inconsistencies into models of PA
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
Squares with diamonds and Souslin trees with special squares
Fundamenta Mathematicae | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3914320 (Why is no real title available?)
| 1985-01-01 | Paper |
On the Relative Consistency Strength of Determinacy Hypothesis
Transactions of the American Mathematical Society | 1985-01-01 | Paper |
Explicit Henkin sentences
Journal of Symbolic Logic | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3930999 (Why is no real title available?)
| 1983-01-01 | Paper |
Rapidly growing Ramsey functions
Annals of Mathematics. Second Series | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3762049 (Why is no real title available?)
| 1981-01-01 | Paper |
Rosser sentences
Annals of Mathematical Logic | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3603272 (Why is no real title available?)
| 1978-01-01 | Paper |
Strong axioms of infinity and elementary embeddings
Annals of Mathematical Logic | 1978-01-01 | Paper |
Hyperarithmetically Encodable Sets
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3608013 (Why is no real title available?)
| 1978-01-01 | Paper |
Erratum: A Fast Monte-Carlo Test for Primality
SIAM Journal on Computing | 1978-01-01 | Paper |
A Fast Monte-Carlo Test for Primality
SIAM Journal on Computing | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3570424 (Why is no real title available?)
| 1977-01-01 | Paper |
Definability of measures and ultrafilters
Journal of Symbolic Logic | 1977-01-01 | Paper |
Fixed points of jump preserving automorphisms of degrees
Israel Journal of Mathematics | 1977-01-01 | Paper |
Provability interpretations of modal logic
Israel Journal of Mathematics | 1976-01-01 | Paper |
On Sets Cook-Reducible to Sparse Sets
SIAM Journal on Computing | 1976-01-01 | Paper |
Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question
SIAM Journal on Computing | 1975-01-01 | Paper |
On partitions into stationary sets
Journal of Symbolic Logic | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3496166 (Why is no real title available?)
| 1974-01-01 | Paper |
On the number of complete Boolean algebras
Algebra Universalis | 1972-01-01 | Paper |
On the decomposition of sets of reals to borel sets
Annals of Mathematical Logic | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3351573 (Why is no real title available?)
| 1971-01-01 | Paper |
Iterated Cohen extensions and Souslin's problem
Annals of Mathematics. Second Series | 1971-01-01 | Paper |
A model of set-theory in which every set of reals is Lebesgue measurable
Annals of Mathematics. Second Series | 1970-01-01 | Paper |
Internal cohen extensions
Annals of Mathematical Logic | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3351572 (Why is no real title available?)
| 1970-01-01 | Paper |
On the Cardinality of $$ \sum_2^1 $$ Sets of Reals
Foundations of Mathematics | 1969-01-01 | Paper |
A basis theorem for \(\sum^ 1_ 3\) sets of reals
Annals of Mathematics. Second Series | 1969-01-01 | Paper |
Measurable cardinals and the continuum hypothesis
Israel Journal of Mathematics | 1967-01-01 | Paper |
A Nonconstructible Δ 1 3 Set of Integers
Transactions of the American Mathematical Society | 1967-01-01 | Paper |
New proof of a theorem of Gaifman and Hales
Bulletin of the American Mathematical Society | 1966-01-01 | Paper |
scientific article; zbMATH DE number 3321262 (Why is no real title available?)
| 1965-01-01 | Paper |
The consistency strength of NFUB
| N/A | Paper |
