Edit Profile (opens in new tab) Solovay, Robert M. Co-Author Distance Author ID: solovay.robert-m Published as: Solovay, Robert M.; Solovay, R. M.; Solovay, Robert; Solovay, R. more...less External Links: MGP · Wikidata · dblp Documents Indexed: 47 Publications since 1965, including 1 Additional arXiv Preprint 1 Further Contribution Co-Authors: 33 Co-Authors with 26 Joint Publications 939 Co-Co-Authors all top 5 Co-Authors 20 single-authored 5 Kechris, Alexander S. 4 Martin, Donald A. 2 Gasarch, William Ian 2 Jockusch, Carl G. jun. 2 Levy, Azriel 2 Steel, John R. 2 Strassen, Volker 1 Abraham, Uri 1 Atiyah, Michael Francis 1 Baker, Theodore P. 1 Borel, Armand 1 Floyd, E. E. 1 Fortnow, Lance J. 1 Galvin, Fred 1 Gill, John T. III 1 Guaspari, David 1 Jain, Sanjay 1 Jensen, Ronald Björn 1 Kanamori, Akihiro 1 Ketonen, Jussi 1 Kinber, Efim B. 1 Kummer, Martin 1 Kurtz, Stuart A. 1 Lerman, Manuel 1 Monk, James Donald 1 Mycielski, Jan 1 Palais, Richard S. 1 Pincus, David L. 1 Pleszkoch, Mark G. 1 Pleszkovich, Mark 1 Prikry, Karel 1 Reinhardt, William N. 1 Seeley, Robert Thomas 1 Shelah, Saharon 1 Slaman, Theodore A. 1 Soare, Robert I. 1 Stephan, Frank 1 Tennenbaum, Stanley all top 5 Serials 5 The Journal of Symbolic Logic 4 Annals of Mathematical Logic 4 SIAM Journal on Computing 4 Annals of Pure and Applied Logic 4 Annals of Mathematics. Second Series 3 Israel Journal of Mathematics 3 Transactions of the American Mathematical Society 1 Algebra Universalis 1 Fundamenta Mathematicae 1 Archive for Mathematical Logic 1 Bulletin of the American Mathematical Society 1 Culture and History of Mathematics all top 5 Fields 39 Mathematical logic and foundations (03-XX) 3 Computer science (68-XX) 2 Number theory (11-XX) 2 General topology (54-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Measure and integration (28-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.