×
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,950 times in 1,666 Documents Cited by Year
A model of set-theory in which every set of reals is Lebesgue measurable. Zbl 0207.00905
Solovay, R. M.
314
1970
Relativizations of the \(\mathcal P=?\mathcal N\mathcal P\) question. Zbl 0323.68033
Baker, Theodore; Gill, John; Solovay, Robert
192
1975
Provability interpretations of modal logic. Zbl 0352.02019
Solovay, Robert M.
185
1976
Internal Cohen extensions. Zbl 0222.02075
Martin, D. A.; Solovay, R. M.
167
1970
Iterated Cohen extensions and Souslin’s problem. Zbl 0244.02023
Solovay, R. M.; Tennenbaum, S.
162
1971
Strong axioms of infinity and elementary embeddings. Zbl 0376.02055
Solovay, Robert M.; Reinhardt, William N.; Kanamori, Akihiro
150
1978
Measurable cardinals and the continuum hypothesis. Zbl 0289.02044
Levy, A.; Solovay, R. M.
115
1967
A fast Monte-Carlo test for primality. Zbl 0345.10002
Solovay, R.; Strassen, V.
85
1977
Real-valued measurable cardinals. Zbl 0222.02078
Solovay, Robert M.
84
1971
Rapidly growing Ramsey functions. Zbl 0494.03027
Ketonen, Jussi; Solovay, Robert
62
1981
Strongly compact cardinals and the GCH. Zbl 0317.02083
Solovay, Robert M.
48
1974
Rosser sentences. Zbl 0426.03062
Guaspari, D.; Solovay, R. M.
38
1979
Some applications of almost disjoint sets. Zbl 0222.02077
Jensen, R. B.; Solovay, R. M.
34
1970
A basis theorem for \(\sum^ 1_ 3\) sets of reals. Zbl 0176.27603
Martin, D. A.; Solovay, R. M.
31
1969
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.
26
1989
Hyperarithmetically encodable sets. Zbl 0411.03039
Solovay, Robert M.
23
1978
Definability of measures and ultrafilters. Zbl 0384.03030
Pincus, David; Solovay, Robert M.
23
1977
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
The independence of DC from AD. Zbl 0388.03022
Solovay, Robert M.
22
1978
On the cardinality of \(\Sigma_2^1\) sets of reals. Zbl 0188.32501
Solovay, Robert M.
17
1969
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
On the relative consistency strength of determinacy hypotheses. Zbl 0586.03045
Kechris, Alexander S.; Solovay, Robert M.
15
1985
Some new results on decidability for elementary algebra and geometry. Zbl 1259.03020
Solovay, Robert M.; Arthan, R. D.; Harrison, John
11
2012
Erratum: A fast Monte-Carlo test for primality. Zbl 0373.10002
Solovay, R.; Strassen, V.
10
1978
Squares with diamonds and Souslin trees with special squares. Zbl 0635.03041
Abraham, U.; Shelah, Saharon; Solovay, R. M.
9
1987
New proof of a theorem of Gaifman and Hales. Zbl 0158.24903
Solovay, R. M.
9
1966
Fixed points of jump preserving automorphisms of degrees. Zbl 0372.02023
Jockusch, Carl G. jun.; Solovay, Robert M.
9
1977
Learning via queries in \([+,<]\). Zbl 0774.03023
Gasarch, William I.; Pleszkoch, Mark G.; Solovay, Robert
8
1992
Introduction to Q-theory. Zbl 0582.03038
Kechris, Alexander S.; Martin, Donald A.; Solovay, Robert M.
7
1983
On random r.e. sets. Zbl 0366.02025
Solovay, Robert M.
7
1977
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
\(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.
3
1978
Introduction to Q-theory. Zbl 1431.03069
Kechris, Alexander S.; Martin, Donald A.; Solovay, Robert M.
1
2016
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
Explicit Henkin sentences. Zbl 0613.03026
Solovay, Robert M.
1
1985
Infinte fixed-point algebras. Zbl 0573.03030
Solovay, Robert M.
1
1985
On sets Cook-reducible to sparse sets. Zbl 0367.02018
Solovay, Robert M.
1
1976
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.
26
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.
9
1987
On the relative consistency strength of determinacy hypotheses. Zbl 0586.03045
Kechris, Alexander S.; Solovay, Robert M.
15
1985
Explicit Henkin sentences. Zbl 0613.03026
Solovay, Robert M.
1
1985
Infinte fixed-point algebras. Zbl 0573.03030
Solovay, Robert M.
1
1985
Introduction to Q-theory. Zbl 0582.03038
Kechris, Alexander S.; Martin, Donald A.; Solovay, Robert M.
7
1983
Rapidly growing Ramsey functions. Zbl 0494.03027
Ketonen, Jussi; Solovay, Robert
62
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
150
1978
Hyperarithmetically encodable sets. Zbl 0411.03039
Solovay, Robert M.
23
1978
The independence of DC from AD. Zbl 0388.03022
Solovay, Robert M.
22
1978
Erratum: A fast Monte-Carlo test for primality. Zbl 0373.10002
Solovay, R.; Strassen, V.
10
1978
A \(\Delta^1_3\) coding of the subsets of \(\omega_\omega\). Zbl 0392.03032
Solovay, Robert M.
3
1978
A fast Monte-Carlo test for primality. Zbl 0345.10002
Solovay, R.; Strassen, V.
85
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.
7
1977
Provability interpretations of modal logic. Zbl 0352.02019
Solovay, Robert M.
185
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
192
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.
48
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.
162
1971
Real-valued measurable cardinals. Zbl 0222.02078
Solovay, Robert M.
84
1971
A model of set-theory in which every set of reals is Lebesgue measurable. Zbl 0207.00905
Solovay, R. M.
314
1970
Internal Cohen extensions. Zbl 0222.02075
Martin, D. A.; Solovay, R. M.
167
1970
Some applications of almost disjoint sets. Zbl 0222.02077
Jensen, R. B.; Solovay, R. M.
34
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.
17
1969
Measurable cardinals and the continuum hypothesis. Zbl 0289.02044
Levy, A.; Solovay, R. M.
115
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,276 Authors

72 Shelah, Saharon
70 Apter, Arthur W.
37 Kanovei, Vladimir G.
23 Lyubetsky, Vassily Aleksandrovich
20 Kurahashi, Taishi
20 Magidor, Menachem
19 Stephan, Frank
18 Visser, Albert
16 Bagaria, Joan
16 Todorcevic, Stevo B.
14 Hamkins, Joel David
14 Rinot, Assaf
13 Friedman, Sy-David
12 Blass, Andreas Raphael
12 Cummings, James
12 Montagna, Franco
11 Jech, Thomas J.
10 Beklemishev, Lev D.
10 Gitik, Moti
10 Laver, Richard Joseph
9 Becker, Howard S.
9 Di Prisco, Carlos Augusto
9 Fortnow, Lance J.
9 Fremlin, David H.
9 Jain, Sanjay
9 Miller, Arnold W.
9 Trang, Nam
8 Boolos, George S.
8 Downey, Rodney Graham
8 Foreman, Matthew D.
8 Hartmanis, Juris
8 Hayut, Yair
8 Hemaspaandra, Lane A.
8 Kanamori, Akihiro
8 Kunen, Kenneth
8 Ostaszewski, Adam J.
8 Patey, Ludovic
8 Prikry, Karel
8 Steel, John R.
8 Terwijn, Sebastiaan A.
7 Asperó, David
7 Ko, Ker-I
7 Kusraev, Anatoliĭ Georgievich
7 Larson, Paul B.
7 Matet, Pierre
7 Moore, Justin Tatch
7 Müller, Sandra
7 Sargsyan, Grigor
7 Tall, Franklin D.
7 Wilson, Trevor Miles
7 Woodin, W. Hugh
7 Yokoyama, Keita
7 Yu, Liang
6 Aguilera, Juan Pablo
6 Barbanel, Julius B.
6 Bingham, Nicholas Hugh
6 Dzhaparidze, Giorgie
6 Goldberg, Gabriel
6 Hjorth, Gregory
6 Judah, Haim I.
6 Mekler, Alan H.
6 Schindler, Ralf-Dieter
6 Schlicht, Philipp
6 Shavrukov, V. Yu.
6 Spector, Mitchell
6 van Douwen, Eric K.
6 Williams, Richard Ryan
5 Book, Ronald Vernon
5 Brassard, Gilles
5 Carlucci, Lorenzo
5 Chen, Lijie
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 Sinapova, Dima
5 Solovay, Robert M.
5 Väänänen, Jouko Antero
5 Vereshchagin, Nikolay K.
5 Weiermann, Andreas
4 Aaronson, Scott
4 Artemov, Sergei
4 Avraham, Uri
4 Baumgartner, James Earl
4 Bukovský, Lev
4 Calude, Cristian S.
4 Chong, Chi Tat
4 Cichoń, Jacek
...and 1,176 more Authors
all top 5

Cited in 205 Serials

199 The Journal of Symbolic Logic
176 Annals of Pure and Applied Logic
91 Israel Journal of Mathematics
79 Archive for Mathematical Logic
74 Theoretical Computer Science
67 Proceedings of the American Mathematical Society
56 Transactions of the American Mathematical Society
52 Topology and its Applications
42 Journal of Computer and System Sciences
38 Studia Logica
38 The Bulletin of Symbolic Logic
37 Mathematical Logic Quarterly (MLQ)
30 Advances in Mathematics
22 Notre Dame Journal of Formal Logic
22 Journal of Mathematical Logic
18 Information and Computation
17 Information Processing Letters
15 Siberian Mathematical Journal
15 The Review of Symbolic Logic
14 Mathematical Notes
14 Mathematical Systems Theory
12 Algebra Universalis
12 Journal of Philosophical Logic
12 Synthese
11 Journal of Combinatorial Theory. Series A
10 Fundamenta Mathematicae
8 Discrete Mathematics
8 Mathematical Proceedings of the Cambridge Philosophical Society
8 Bulletin of the American Mathematical Society. New Series
7 Journal of Pure and Applied Algebra
7 Acta Mathematica Hungarica
6 The Mathematical Intelligencer
6 Journal of Functional Analysis
6 Journal of Symbolic Computation
5 Journal of Mathematical Analysis and Applications
5 Commentationes Mathematicae Universitatis Carolinae
5 Compositio Mathematica
5 Fuzzy Sets and Systems
5 Journal of Algebra
5 Mathematika
5 Journal of the American Mathematical Society
5 Computational Complexity
5 Journal of Mathematical Sciences (New York)
5 Izvestiya: Mathematics
5 Theory of Computing Systems
5 Bulletin of the American Mathematical Society
4 Periodica Mathematica Hungarica
4 Mathematics of Computation
4 Algebra and Logic
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
3 Bulletin of the Australian Mathematical Society
3 Acta Mathematica
3 Applied Mathematics and Computation
3 Archiv der Mathematik
3 Journal of the London Mathematical Society. Second Series
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 American Mathematical Monthly
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 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
...and 105 more Serials
all top 5

Cited in 46 Fields

1,283 Mathematical logic and foundations (03-XX)
291 Computer science (68-XX)
143 General topology (54-XX)
104 Measure and integration (28-XX)
75 Combinatorics (05-XX)
59 Order, lattices, ordered algebraic structures (06-XX)
50 Functional analysis (46-XX)
41 Information and communication theory, circuits (94-XX)
39 Number theory (11-XX)
39 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
35 Group theory and generalizations (20-XX)
24 History and biography (01-XX)
22 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)
18 Quantum theory (81-XX)
11 Topological groups, Lie groups (22-XX)
11 Numerical analysis (65-XX)
10 Operations research, mathematical programming (90-XX)
9 Abstract harmonic analysis (43-XX)
8 Operator theory (47-XX)
6 Field theory and polynomials (12-XX)
5 Commutative algebra (13-XX)
4 Algebraic geometry (14-XX)
4 Dynamical systems and ergodic theory (37-XX)
4 Convex and discrete geometry (52-XX)
4 Statistics (62-XX)
3 Associative rings and algebras (16-XX)
3 Difference and functional equations (39-XX)
3 Geometry (51-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 Functions of a complex variable (30-XX)
2 Approximations and expansions (41-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Differential geometry (53-XX)
2 Algebraic topology (55-XX)
2 Relativity and gravitational theory (83-XX)
2 Systems theory; control (93-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.