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