Robert M. Solovay

Available identifiers

zbMath Open solovay.robert-mWikidataQ1395607 ScholiaQ1395607MaRDI QIDQ912093

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert M. Solovay