×
Author ID: solovay.robert-m Recent zbMATH articles by "Solovay, Robert M."
Published as: Solovay, Robert M.; Solovay, R. M.; Solovay, Robert; Solovay, R.
External Links: MGP · Wikidata · dblp

Publications by Year

Citations contained in zbMATH Open

43 Publications have been cited 1,834 times in 1,570 Documents Cited by Year
A model of set-theory in which every set of reals is Lebesgue measurable. Zbl 0207.00905
Solovay, R. M.
310
1970
Provability interpretations of modal logic. Zbl 0352.02019
Solovay, Robert M.
182
1976
Internal Cohen extensions. Zbl 0222.02075
Martin, D. A.; Solovay, R. M.
165
1970
Relativizations of the \(\mathcal P=?\mathcal N\mathcal P\) question. Zbl 0323.68033
Baker, Theodore; Gill, John; Solovay, Robert
162
1975
Iterated Cohen extensions and Souslin’s problem. Zbl 0244.02023
Solovay, R. M.; Tennenbaum, S.
161
1971
Strong axioms of infinity and elementary embeddings. Zbl 0376.02055
Solovay, Robert M.; Reinhardt, William N.; Kanamori, Akihiro
148
1978
Measurable cardinals and the continuum hypothesis. Zbl 0289.02044
Levy, A.; Solovay, R. M.
113
1967
A fast Monte-Carlo test for primality. Zbl 0345.10002
Solovay, R.; Strassen, V.
77
1977
Real-valued measurable cardinals. Zbl 0222.02078
Solovay, Robert M.
70
1971
Rapidly growing Ramsey functions. Zbl 0494.03027
Ketonen, Jussi; Solovay, Robert
59
1981
Rosser sentences. Zbl 0426.03062
Guaspari, D.; Solovay, R. M.
38
1979
Strongly compact cardinals and the GCH. Zbl 0317.02083
Solovay, Robert M.
36
1974
A basis theorem for \(\sum^ 1_ 3\) sets of reals. Zbl 0176.27603
Martin, D. A.; Solovay, R. M.
31
1969
Some applications of almost disjoint sets. Zbl 0222.02077
Jensen, R. B.; Solovay, R. M.
25
1970
Recursively enumerable sets modulo iterated jumps and extensions of Arslanov’s completeness criterion. Zbl 0708.03020
Jockusch, C. G. jun.; Lerman, M.; Soare, R. I.; Solovay, R. M.
24
1989
Definability of measures and ultrafilters. Zbl 0384.03030
Pincus, David; Solovay, Robert M.
23
1977
Hyperarithmetically encodable sets. Zbl 0411.03039
Solovay, Robert M.
23
1978
Extremes in the degrees of inferability. Zbl 0813.03026
Fortnow, Lance; Gasarch, William; Jain, Sanjay; Kinber, Efim; Kummer, Martin; Kurtz, Stuart; Pleszkovich, Mark; Slaman, Theodore; Solovay, Robert; Stephan, Frank
22
1994
A nonconstructible \(\Delta^ 1_ 3\) set of integers. Zbl 0161.00704
Solovay, R. M.
17
1967
Strong measure zero and infinite games. Zbl 1417.03255
Galvin, Fred; Mycielski, Jan; Solovay, Robert M.
16
2017
The independence of DC from AD. Zbl 0388.03022
Solovay, Robert M.
14
1978
On the relative consistency strength of determinacy hypotheses. Zbl 0586.03045
Kechris, Alexander S.; Solovay, Robert M.
13
1985
Some new results on decidability for elementary algebra and geometry. Zbl 1259.03020
Solovay, Robert M.; Arthan, R. D.; Harrison, John
11
2012
On the cardinality of \(\Sigma_2^1\) sets of reals. Zbl 0188.32501
Solovay, Robert M.
11
1969
New proof of a theorem of Gaifman and Hales. Zbl 0158.24903
Solovay, R. M.
9
1966
Erratum: A fast Monte-Carlo test for primality. Zbl 0373.10002
Solovay, R.; Strassen, V.
9
1978
Fixed points of jump preserving automorphisms of degrees. Zbl 0372.02023
Jockusch, Carl G. jun.; Solovay, Robert M.
9
1977
Squares with diamonds and Souslin trees with special squares. Zbl 0635.03041
Abraham, U.; Shelah, Saharon; Solovay, R. M.
8
1987
Learning via queries in \([+,<]\). Zbl 0774.03023
Gasarch, William I.; Pleszkoch, Mark G.; Solovay, Robert
8
1992
On the number of complete Boolean algebras. Zbl 0261.06010
Monk, J. Donald; Solovay, R. M.
6
1972
The axiom of determinacy and the prewellordering property. Zbl 0485.03031
Kechris, Alexander S.; Solovay, Robert M.; Steel, John R.
5
1981
On partitions into stationary sets. Zbl 0322.02062
Prikry, Karel; Solovay, Robert M.
5
1975
On random r.e. sets. Zbl 0366.02025
Solovay, Robert M.
5
1977
Introduction to Q-theory. Zbl 0582.03038
Kechris, Alexander S.; Martin, Donald A.; Solovay, Robert M.
4
1983
\(2^{\aleph 0}\) can be anything it ought to be. Zbl 0202.30701
Solovay, R.
4
1965
On the decomposition of sets of reals to Borel sets. Zbl 0255.02075
Levy, A.; Solovay, R. M.
3
1972
A \(\Delta^1_3\) coding of the subsets of \(\omega_\omega\). Zbl 0392.03032
Solovay, Robert M.
2
1978
Injecting inconsistencies into models of PA. Zbl 0683.03041
Solovay, Robert M.
1
1989
Infinte fixed-point algebras. Zbl 0573.03030
Solovay, Robert M.
1
1985
Explicit Henkin sentences. Zbl 0613.03026
Solovay, Robert M.
1
1985
Injecting inconsistencies into models of PA. Zbl 0698.03040
Solovay, Robert M.
1
1989
On sets Cook-reducible to sparse sets. Zbl 0367.02018
Solovay, Robert M.
1
1976
Introduction to Q-theory. Zbl 1431.03069
Kechris, Alexander S.; Martin, Donald A.; Solovay, Robert M.
1
2016
Strong measure zero and infinite games. Zbl 1417.03255
Galvin, Fred; Mycielski, Jan; Solovay, Robert M.
16
2017
Introduction to Q-theory. Zbl 1431.03069
Kechris, Alexander S.; Martin, Donald A.; Solovay, Robert M.
1
2016
Some new results on decidability for elementary algebra and geometry. Zbl 1259.03020
Solovay, Robert M.; Arthan, R. D.; Harrison, John
11
2012
Extremes in the degrees of inferability. Zbl 0813.03026
Fortnow, Lance; Gasarch, William; Jain, Sanjay; Kinber, Efim; Kummer, Martin; Kurtz, Stuart; Pleszkovich, Mark; Slaman, Theodore; Solovay, Robert; Stephan, Frank
22
1994
Learning via queries in \([+,<]\). Zbl 0774.03023
Gasarch, William I.; Pleszkoch, Mark G.; Solovay, Robert
8
1992
Recursively enumerable sets modulo iterated jumps and extensions of Arslanov’s completeness criterion. Zbl 0708.03020
Jockusch, C. G. jun.; Lerman, M.; Soare, R. I.; Solovay, R. M.
24
1989
Injecting inconsistencies into models of PA. Zbl 0683.03041
Solovay, Robert M.
1
1989
Injecting inconsistencies into models of PA. Zbl 0698.03040
Solovay, Robert M.
1
1989
Squares with diamonds and Souslin trees with special squares. Zbl 0635.03041
Abraham, U.; Shelah, Saharon; Solovay, R. M.
8
1987
On the relative consistency strength of determinacy hypotheses. Zbl 0586.03045
Kechris, Alexander S.; Solovay, Robert M.
13
1985
Infinte fixed-point algebras. Zbl 0573.03030
Solovay, Robert M.
1
1985
Explicit Henkin sentences. Zbl 0613.03026
Solovay, Robert M.
1
1985
Introduction to Q-theory. Zbl 0582.03038
Kechris, Alexander S.; Martin, Donald A.; Solovay, Robert M.
4
1983
Rapidly growing Ramsey functions. Zbl 0494.03027
Ketonen, Jussi; Solovay, Robert
59
1981
The axiom of determinacy and the prewellordering property. Zbl 0485.03031
Kechris, Alexander S.; Solovay, Robert M.; Steel, John R.
5
1981
Rosser sentences. Zbl 0426.03062
Guaspari, D.; Solovay, R. M.
38
1979
Strong axioms of infinity and elementary embeddings. Zbl 0376.02055
Solovay, Robert M.; Reinhardt, William N.; Kanamori, Akihiro
148
1978
Hyperarithmetically encodable sets. Zbl 0411.03039
Solovay, Robert M.
23
1978
The independence of DC from AD. Zbl 0388.03022
Solovay, Robert M.
14
1978
Erratum: A fast Monte-Carlo test for primality. Zbl 0373.10002
Solovay, R.; Strassen, V.
9
1978
A \(\Delta^1_3\) coding of the subsets of \(\omega_\omega\). Zbl 0392.03032
Solovay, Robert M.
2
1978
A fast Monte-Carlo test for primality. Zbl 0345.10002
Solovay, R.; Strassen, V.
77
1977
Definability of measures and ultrafilters. Zbl 0384.03030
Pincus, David; Solovay, Robert M.
23
1977
Fixed points of jump preserving automorphisms of degrees. Zbl 0372.02023
Jockusch, Carl G. jun.; Solovay, Robert M.
9
1977
On random r.e. sets. Zbl 0366.02025
Solovay, Robert M.
5
1977
Provability interpretations of modal logic. Zbl 0352.02019
Solovay, Robert M.
182
1976
On sets Cook-reducible to sparse sets. Zbl 0367.02018
Solovay, Robert M.
1
1976
Relativizations of the \(\mathcal P=?\mathcal N\mathcal P\) question. Zbl 0323.68033
Baker, Theodore; Gill, John; Solovay, Robert
162
1975
On partitions into stationary sets. Zbl 0322.02062
Prikry, Karel; Solovay, Robert M.
5
1975
Strongly compact cardinals and the GCH. Zbl 0317.02083
Solovay, Robert M.
36
1974
On the number of complete Boolean algebras. Zbl 0261.06010
Monk, J. Donald; Solovay, R. M.
6
1972
On the decomposition of sets of reals to Borel sets. Zbl 0255.02075
Levy, A.; Solovay, R. M.
3
1972
Iterated Cohen extensions and Souslin’s problem. Zbl 0244.02023
Solovay, R. M.; Tennenbaum, S.
161
1971
Real-valued measurable cardinals. Zbl 0222.02078
Solovay, Robert M.
70
1971
A model of set-theory in which every set of reals is Lebesgue measurable. Zbl 0207.00905
Solovay, R. M.
310
1970
Internal Cohen extensions. Zbl 0222.02075
Martin, D. A.; Solovay, R. M.
165
1970
Some applications of almost disjoint sets. Zbl 0222.02077
Jensen, R. B.; Solovay, R. M.
25
1970
A basis theorem for \(\sum^ 1_ 3\) sets of reals. Zbl 0176.27603
Martin, D. A.; Solovay, R. M.
31
1969
On the cardinality of \(\Sigma_2^1\) sets of reals. Zbl 0188.32501
Solovay, Robert M.
11
1969
Measurable cardinals and the continuum hypothesis. Zbl 0289.02044
Levy, A.; Solovay, R. M.
113
1967
A nonconstructible \(\Delta^ 1_ 3\) set of integers. Zbl 0161.00704
Solovay, R. M.
17
1967
New proof of a theorem of Gaifman and Hales. Zbl 0158.24903
Solovay, R. M.
9
1966
\(2^{\aleph 0}\) can be anything it ought to be. Zbl 0202.30701
Solovay, R.
4
1965
all top 5

Cited by 1,204 Authors

70 Shelah, Saharon
68 Apter, Arthur W.
33 Kanovei, Vladimir G.
19 Kurahashi, Taishi
19 Lyubetsky, Vassily Aleksandrovich
19 Magidor, Menachem
19 Stephan, Frank
18 Visser, Albert
16 Bagaria, Joan
15 Todorcevic, Stevo B.
13 Hamkins, Joel David
13 Rinot, Assaf
12 Blass, Andreas Raphael
12 Montagna, Franco
10 Beklemishev, Lev D.
10 Friedman, Sy-David
10 Jech, Thomas J.
10 Laver, Richard Joseph
9 Becker, Howard S.
9 Cummings, James
9 Di Prisco, Carlos Augusto
9 Fremlin, David H.
9 Gitik, Moti
9 Jain, Sanjay
9 Miller, Arnold W.
8 Boolos, George S.
8 Hartmanis, Juris
8 Hemaspaandra, Lane A.
8 Kanamori, Akihiro
8 Ostaszewski, Adam J.
8 Patey, Ludovic
8 Prikry, Karel
7 Fortnow, Lance J.
7 Hayut, Yair
7 Ko, Ker-I
7 Kunen, Kenneth
7 Matet, Pierre
7 Müller, Sandra
7 Steel, John R.
7 Tall, Franklin D.
7 Terwijn, Sebastiaan A.
7 Trang, Nam
7 Woodin, W. Hugh
6 Aguilera, Juan Pablo
6 Asperó, David
6 Barbanel, Julius B.
6 Bingham, Nicholas Hugh
6 Downey, Rodney Graham
6 Dzhaparidze, Giorgie
6 Foreman, Matthew D.
6 Goldberg, Gabriel
6 Hjorth, Gregory
6 Judah, Haim I.
6 Kusraev, Anatoly Georgievich
6 Mekler, Alan H.
6 Moore, Justin Tatch
6 Sargsyan, Grigor
6 Schlicht, Philipp
6 Shavrukov, V. Yu.
6 Spector, Mitchell
6 van Douwen, Eric K.
6 Wilson, Trevor Miles
6 Yu, Liang
5 Book, Ronald Vernon
5 Carlucci, Lorenzo
5 de Jongh, Dick H. J.
5 Gitman, Victoria
5 Goldstern, Martin Robert
5 Hájek, Petr
5 Hauser, Kai
5 Hechler, Stephen Herman
5 Joosten, Joost J.
5 Kellner, Jakob
5 Kinber, Efim B.
5 Long, Timothy Juris
5 Martin, Donald A.
5 Morillon, Marianne
5 Moschovakis, Yiannis Nicholas
5 Poveda, Alejandro
5 Rathjen, Michael
5 Scheepers, Marion
5 Schindler, Ralf-Dieter
5 Sinapova, Dima
5 Solovay, Robert M.
5 Väänänen, Jouko Antero
5 Vereshchagin, Nikolay K.
5 Weiermann, Andreas
5 Yokoyama, Keita
4 Artemov, Sergei
4 Avraham, Uri
4 Baumgartner, James Earl
4 Brassard, Gilles
4 Bukovský, Lev
4 Cichoń, Jacek
4 Ciesielski, Krzysztof Chris
4 Dehornoy, Patrick
4 Doria, Francisco Antonio
4 Dow, Alan S.
4 Erdős, Pál
4 Eskew, Monroe
...and 1,104 more Authors
all top 5

Cited in 197 Serials

193 The Journal of Symbolic Logic
155 Annals of Pure and Applied Logic
89 Israel Journal of Mathematics
76 Archive for Mathematical Logic
71 Theoretical Computer Science
66 Proceedings of the American Mathematical Society
55 Transactions of the American Mathematical Society
50 Topology and its Applications
39 Journal of Computer and System Sciences
38 Studia Logica
37 The Bulletin of Symbolic Logic
36 Mathematical Logic Quarterly (MLQ)
27 Advances in Mathematics
22 Notre Dame Journal of Formal Logic
21 Journal of Mathematical Logic
17 Information and Computation
16 Information Processing Letters
15 Siberian Mathematical Journal
14 Mathematical Notes
14 Mathematical Systems Theory
14 The Review of Symbolic Logic
12 Algebra Universalis
12 Journal of Philosophical Logic
12 Synthese
11 Journal of Combinatorial Theory. Series A
8 Discrete Mathematics
8 Mathematical Proceedings of the Cambridge Philosophical Society
8 Fundamenta Mathematicae
8 Bulletin of the American Mathematical Society. New Series
7 Acta Mathematica Hungarica
6 The Mathematical Intelligencer
6 Journal of Pure and Applied Algebra
6 Journal of Symbolic Computation
5 Commentationes Mathematicae Universitatis Carolinae
5 Compositio Mathematica
5 Fuzzy Sets and Systems
5 Mathematika
5 Journal of the American Mathematical Society
5 Computational Complexity
5 Journal of Mathematical Sciences (New York)
5 Theory of Computing Systems
5 Bulletin of the American Mathematical Society
4 Journal of Mathematical Analysis and Applications
4 Periodica Mathematica Hungarica
4 Mathematics of Computation
4 Algebra and Logic
4 Journal of Algebra
4 Journal of Functional Analysis
4 Journal of the Mathematical Society of Japan
4 Journal of Soviet Mathematics
4 Manuscripta Mathematica
4 Mathematische Zeitschrift
4 Nagoya Mathematical Journal
4 Mathematical Social Sciences
4 Journal of Cryptology
4 RAIRO. Informatique Théorique et Applications
4 Indagationes Mathematicae. New Series
4 Annals of Mathematics and Artificial Intelligence
4 Izvestiya: Mathematics
3 Bulletin of the Australian Mathematical Society
3 Acta Mathematica
3 Applied Mathematics and Computation
3 Archiv der Mathematik
3 Journal of Mathematical Economics
3 Monatshefte für Mathematik
3 Quaestiones Mathematicae
3 SIAM Journal on Computing
3 Combinatorica
3 Journal of Automated Reasoning
3 Aequationes Mathematicae
3 International Journal of Computer Mathematics
3 Bulletin of the Polish Academy of Sciences, Mathematics
3 Topology Proceedings
3 Georgian Mathematical Journal
3 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
3 Annals of Mathematics. Second Series
3 Vladikavkazskiĭ Matematicheskiĭ Zhurnal
3 BIT. Nordisk Tidskrift for Informationsbehandling
3 Computability
3 Bollettino dell’Unione Matematica Italiana
2 Acta Mathematica Academiae Scientiarum Hungaricae
2 Archiv für Mathematische Logik und Grundlagenforschung
2 Computers & Mathematics with Applications
2 Discrete Applied Mathematics
2 International Journal of Mathematical Education in Science and Technology
2 Canadian Journal of Mathematics
2 Czechoslovak Mathematical Journal
2 International Journal of Game Theory
2 Journal of the London Mathematical Society. Second Series
2 Mathematische Annalen
2 Memoirs of the American Mathematical Society
2 Rendiconti del Seminario Matematico della Università di Padova
2 History and Philosophy of Logic
2 Order
2 Journal of Complexity
2 Elemente der Mathematik
2 Journal of Logic, Language and Information
2 Journal of Applied Non-Classical Logics
2 Doklady Mathematics
2 Journal of Group Theory
...and 97 more Serials
all top 5

Cited in 46 Fields

1,220 Mathematical logic and foundations (03-XX)
257 Computer science (68-XX)
141 General topology (54-XX)
97 Measure and integration (28-XX)
73 Combinatorics (05-XX)
57 Order, lattices, ordered algebraic structures (06-XX)
44 Functional analysis (46-XX)
39 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
36 Number theory (11-XX)
34 Group theory and generalizations (20-XX)
34 Information and communication theory, circuits (94-XX)
23 History and biography (01-XX)
21 Category theory; homological algebra (18-XX)
21 Real functions (26-XX)
20 General algebraic systems (08-XX)
19 General and overarching topics; collections (00-XX)
19 Probability theory and stochastic processes (60-XX)
14 Quantum theory (81-XX)
11 Topological groups, Lie groups (22-XX)
11 Numerical analysis (65-XX)
10 Operations research, mathematical programming (90-XX)
8 Abstract harmonic analysis (43-XX)
7 Operator theory (47-XX)
6 Field theory and polynomials (12-XX)
5 Commutative algebra (13-XX)
4 Dynamical systems and ergodic theory (37-XX)
4 Statistics (62-XX)
3 Algebraic geometry (14-XX)
3 Associative rings and algebras (16-XX)
3 Difference and functional equations (39-XX)
3 Geometry (51-XX)
3 Convex and discrete geometry (52-XX)
3 Differential geometry (53-XX)
3 Manifolds and cell complexes (57-XX)
3 Global analysis, analysis on manifolds (58-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Nonassociative rings and algebras (17-XX)
2 Approximations and expansions (41-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Algebraic topology (55-XX)
2 Relativity and gravitational theory (83-XX)
2 Systems theory; control (93-XX)
1 Functions of a complex variable (30-XX)
1 Potential theory (31-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.