Solovay, Robert M. The independence of \(\mathsf{DC}\) from \(\mathsf{AD}\). (English) Zbl 1528.03215 Kechris, Alexander S. (ed.) et al., Large cardinals, determinacy and other topics. The Cabal Seminar, Vol. IV. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL). Lect. Notes Log. 49, 66-95 (2021). MSC: 03E60 03E35 03E25 03E45 PDFBibTeX XMLCite \textit{R. M. Solovay}, Lect. Notes Log. 49, 66--95 (2021; Zbl 1528.03215) Full Text: DOI Link
Galvin, Fred; Mycielski, Jan; Solovay, Robert M. Strong measure zero and infinite games. (English) Zbl 1417.03255 Arch. Math. Logic 56, No. 7-8, 725-732 (2017). MSC: 03E15 54G15 91A44 PDFBibTeX XMLCite \textit{F. Galvin} et al., Arch. Math. Logic 56, No. 7--8, 725--732 (2017; Zbl 1417.03255) Full Text: DOI
Kechris, Alexander S.; Martin, Donald A.; Solovay, Robert M. Introduction to Q-theory. (English) Zbl 1431.03069 Kechris, Alexander S. (ed.) et al., Ordinal definability and recursion theory. The Cabal Seminar, Vol. III. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL). Lect. Notes Log. 43, 126-199 (2016). MSC: 03E60 03E15 03E55 03E45 PDFBibTeX XMLCite \textit{A. S. Kechris} et al., Lect. Notes Log. 43, 126--199 (2016; Zbl 1431.03069) Full Text: DOI
Solovay, Robert M.; Arthan, R. D.; Harrison, John Some new results on decidability for elementary algebra and geometry. (English) Zbl 1259.03020 Ann. Pure Appl. Logic 163, No. 12, 1765-1802 (2012). Reviewer: J. M. Plotkin (East Lansing) MSC: 03B25 03C10 03C65 PDFBibTeX XMLCite \textit{R. M. Solovay} et al., Ann. Pure Appl. Logic 163, No. 12, 1765--1802 (2012; Zbl 1259.03020) Full Text: DOI arXiv
Solovay, Robert M. A \(\Delta^1_3\) coding of the subsets of \(\omega_\omega\). (English) Zbl 1242.03077 Kechris, Alexander S. (ed.) et al., Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76203-8/hbk). Lecture Notes in Logic 37, 346-363 (2012). MSC: 03E60 03E15 PDFBibTeX XMLCite \textit{R. M. Solovay}, Lect. Notes Log. 37, 346--363 (2012; Zbl 1242.03077)
Kechris, Alexander S.; Solovay, Robert M.; Steel, John R. The axiom of determinacy and the prewellordering property. (English) Zbl 1242.03076 Kechris, Alexander S. (ed.) et al., Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76203-8/hbk). Lecture Notes in Logic 37, 118-140 (2012). MSC: 03E60 03E15 PDFBibTeX XMLCite \textit{A. S. Kechris} et al., Lect. Notes Log. 37, 118--140 (2012; Zbl 1242.03076)
Palais, Richard S. [Atiyah, M. F.; Borel, A.; Floyd, E. E.; Seeley, R. T.; Shih, W.; Solovay, R.] Seminar on the Atiyah-Singer index theorem. With contributions by M. F. Atiyah, A. Borel, E. E. Floyd, R. T. Seeley, W. Shih and R. Solovay. (English) Zbl 1103.58013 Culture and History of Mathematics 2. New Delhi: Hindustan Book Agency (ISBN 81-85931-53-4). 376 p. (2005). MSC: 58J22 58-02 58J20 PDFBibTeX XMLCite \textit{R. S. Palais}, Seminar on the Atiyah-Singer index theorem. With contributions by M. F. Atiyah, A. Borel, E. E. Floyd, R. T. Seeley, W. Shih and R. Solovay. New Delhi: Hindustan Book Agency (2005; Zbl 1103.58013)
Solovay, Robert M. The consistency strength of NFUB. arXiv:math/9707207 Preprint, arXiv:math/9707207 [math.LO] (1997). BibTeX Cite \textit{R. M. Solovay}, ``The consistency strength of NFUB'', Preprint, arXiv:math/9707207 [math.LO] (1997) Full Text: arXiv
Fortnow, Lance; Gasarch, William; Jain, Sanjay; Kinber, Efim; Kummer, Martin; Kurtz, Stuart; Pleszkovich, Mark; Slaman, Theodore; Solovay, Robert; Stephan, Frank Extremes in the degrees of inferability. (English) Zbl 0813.03026 Ann. Pure Appl. Logic 66, No. 3, 231-276 (1994). Reviewer: C.Witteveen (Delft) MSC: 03D15 68T05 PDFBibTeX XMLCite \textit{L. Fortnow} et al., Ann. Pure Appl. Logic 66, No. 3, 231--276 (1994; Zbl 0813.03026) Full Text: DOI
Gasarch, William I.; Pleszkoch, Mark G.; Solovay, Robert Learning via queries in \([+,<]\). (English) Zbl 0774.03023 J. Symb. Log. 57, No. 1, 53-81 (1992). Reviewer: H.B.Marandjian (Erevan) MSC: 03D10 03B25 03C10 03D20 03D15 03F30 PDFBibTeX XMLCite \textit{W. I. Gasarch} et al., J. Symb. Log. 57, No. 1, 53--81 (1992; Zbl 0774.03023) Full Text: DOI
Jockusch, C. G. jun.; Lerman, M.; Soare, R. I.; Solovay, R. M. Recursively enumerable sets modulo iterated jumps and extensions of Arslanov’s completeness criterion. (English) Zbl 0708.03020 J. Symb. Log. 54, No. 4, 1288-1323 (1989). Reviewer: L.Harkleroad MSC: 03D25 03D30 PDFBibTeX XMLCite \textit{C. G. Jockusch jun.} et al., J. Symb. Log. 54, No. 4, 1288--1323 (1989; Zbl 0708.03020) Full Text: DOI
Solovay, Robert M. Injecting inconsistencies into models of PA. (English) Zbl 0698.03040 Ann. Pure Appl. Logic 44, No. 1-2, 101-132 (1989). Reviewer: R.Kossak MSC: 03H15 03C62 PDFBibTeX XMLCite \textit{R. M. Solovay}, Ann. Pure Appl. Logic 44, No. 1--2, 101--132 (1989; Zbl 0698.03040) Full Text: DOI
Solovay, Robert M. Injecting inconsistencies into models of PA. (English) Zbl 0683.03041 Ann. Pure Appl. Logic 44, No. 1-2, 101-132 (1989). Reviewer: R.Kossak MSC: 03H15 03C62 PDFBibTeX XMLCite \textit{R. M. Solovay}, Ann. Pure Appl. Logic 44, No. 1--2, 101--132 (1989; Zbl 0683.03041) Full Text: DOI
Abraham, U.; Shelah, Saharon; Solovay, R. M. Squares with diamonds and Souslin trees with special squares. (English) Zbl 0635.03041 Fundam. Math. 127, 133-162 (1987). MSC: 03E05 03E50 PDFBibTeX XMLCite \textit{U. Abraham} et al., Fundam. Math. 127, 133--162 (1987; Zbl 0635.03041) Full Text: DOI EuDML
Solovay, Robert M. Explicit Henkin sentences. (English) Zbl 0613.03026 J. Symb. Log. 50, 91-93 (1985). MSC: 03F30 03F40 PDFBibTeX XMLCite \textit{R. M. Solovay}, J. Symb. Log. 50, 91--93 (1985; Zbl 0613.03026) Full Text: DOI
Kechris, Alexander S.; Solovay, Robert M. On the relative consistency strength of determinacy hypotheses. (English) Zbl 0586.03045 Trans. Am. Math. Soc. 290, 179-211 (1985). Reviewer: P.Komjáth MSC: 03E60 03E15 PDFBibTeX XMLCite \textit{A. S. Kechris} and \textit{R. M. Solovay}, Trans. Am. Math. Soc. 290, 179--211 (1985; Zbl 0586.03045) Full Text: DOI
Solovay, Robert M. Infinte fixed-point algebras. (English) Zbl 0573.03030 Recursion theory, Proc. AMS-ASL Summer Inst., Ithaca/N.Y. 1982, Proc. Symp. Pure Math. 42, 473-486 (1985). Reviewer: C.Calude MSC: 03G05 03F30 03B45 PDFBibTeX XML
Kechris, Alexander S.; Martin, Donald A.; Solovay, Robert M. Introduction to Q-theory. (English) Zbl 0582.03038 Cabal Semin. 79-81, Proc. Caltech-UCLA Logic Semin. 1979-81, Lect. Notes Math. 1019, 199-282 (1983). MSC: 03E60 03E15 03E55 03E45 PDFBibTeX XML
Ketonen, Jussi; Solovay, Robert Rapidly growing Ramsey functions. (English) Zbl 0494.03027 Ann. Math. (2) 113, 267-314 (1981). MSC: 03D20 PDFBibTeX XMLCite \textit{J. Ketonen} and \textit{R. Solovay}, Ann. Math. (2) 113, 267--314 (1981; Zbl 0494.03027) Full Text: DOI
Kechris, Alexander S.; Solovay, Robert M.; Steel, John R. The axiom of determinacy and the prewellordering property. (English) Zbl 0485.03031 Cabal seminar 77-79, Proc., Caltech-UCLA logic Semin. 1977-79, Lect. Notes Math. 839, 101-125 (1981). MSC: 03E60 03E15 PDFBibTeX XML
Guaspari, D.; Solovay, R. M. Rosser sentences. (English) Zbl 0426.03062 Ann. Math. Logic 16, 81-99 (1979). MSC: 03F25 03B45 PDFBibTeX XMLCite \textit{D. Guaspari} and \textit{R. M. Solovay}, Ann. Math. Logic 16, 81--99 (1979; Zbl 0426.03062) Full Text: DOI
Solovay, Robert M. Hyperarithmetically encodable sets. (English) Zbl 0411.03039 Trans. Am. Math. Soc. 239, 99-122 (1978). MSC: 03D60 03E15 03D30 PDFBibTeX XMLCite \textit{R. M. Solovay}, Trans. Am. Math. Soc. 239, 99--122 (1978; Zbl 0411.03039) Full Text: DOI Backlinks: MO
Solovay, Robert M. A \(\Delta^1_3\) coding of the subsets of \(\omega_\omega\). (English) Zbl 0392.03032 Cabal Semin., Proc., Caltech-UCLA Logic Semin 1976-77, Lect. Notes Math. 689, 133-150 (1978). MSC: 03E60 03E15 PDFBibTeX XML
Solovay, Robert M. The independence of DC from AD. (English) Zbl 0388.03022 Cabal Semin., Proc., Caltech-UCLA Logic Semin. 1976-77, Lect. Notes Math. 689, 171-183 (1978). MSC: 03E35 PDFBibTeX XML
Solovay, Robert M.; Reinhardt, William N.; Kanamori, Akihiro Strong axioms of infinity and elementary embeddings. (English) Zbl 0376.02055 Ann. Math. Logic 13, 73-116 (1978). MSC: 03E55 03E35 03E10 03E05 PDFBibTeX XMLCite \textit{R. M. Solovay} et al., Ann. Math. Logic 13, 73--116 (1978; Zbl 0376.02055) Full Text: DOI
Solovay, R.; Strassen, V. Erratum: A fast Monte-Carlo test for primality. (English) Zbl 0373.10002 SIAM J. Comput. 7, 118 (1978). MSC: 11-04 11A41 PDFBibTeX XMLCite \textit{R. Solovay} and \textit{V. Strassen}, SIAM J. Comput. 7, 118 (1978; Zbl 0373.10002) Full Text: DOI
Pincus, David; Solovay, Robert M. Definability of measures and ultrafilters. (English) Zbl 0384.03030 J. Symb. Log. 42, 179-190 (1977). MSC: 03E35 28A05 54A25 PDFBibTeX XMLCite \textit{D. Pincus} and \textit{R. M. Solovay}, J. Symb. Log. 42, 179--190 (1977; Zbl 0384.03030) Full Text: DOI Backlinks: MO
Jockusch, Carl G. jun.; Solovay, Robert M. Fixed points of jump preserving automorphisms of degrees. (English) Zbl 0372.02023 Isr. J. Math. 26, 91-94 (1977). MSC: 03D30 03D55 PDFBibTeX XMLCite \textit{C. G. Jockusch jun.} and \textit{R. M. Solovay}, Isr. J. Math. 26, 91--94 (1977; Zbl 0372.02023) Full Text: DOI
Solovay, Robert M. On random r.e. sets. (English) Zbl 0366.02025 Non-classical Logics, Model Theory, Comput., Proc. 3rd Lat.-Am. Symp. math. Logic, Campinas 1976, Stud. Logic Found. Math. 89, 283-307 (1977). Reviewer: D. Schwartz MSC: 03D25 03D60 03D99 94A15 PDFBibTeX XML
Solovay, R.; Strassen, V. A fast Monte-Carlo test for primality. (English) Zbl 0345.10002 SIAM J. Comput. 6, 84-85 (1977). MSC: 11Y11 65C05 PDFBibTeX XMLCite \textit{R. Solovay} and \textit{V. Strassen}, SIAM J. Comput. 6, 84--85 (1977; Zbl 0345.10002) Full Text: DOI
Solovay, Robert M. On sets Cook-reducible to sparse sets. (English) Zbl 0367.02018 SIAM J. Comput. 5, 646-652 (1976). MSC: 03D25 68Q25 PDFBibTeX XMLCite \textit{R. M. Solovay}, SIAM J. Comput. 5, 646--652 (1976; Zbl 0367.02018) Full Text: DOI
Solovay, Robert M. Provability interpretations of modal logic. (English) Zbl 0352.02019 Isr. J. Math. 25, 287-304 (1976). MSC: 03B45 PDFBibTeX XMLCite \textit{R. M. Solovay}, Isr. J. Math. 25, 287--304 (1976; Zbl 0352.02019) Full Text: DOI
Baker, Theodore; Gill, John; Solovay, Robert Relativizations of the \(\mathcal P=?\mathcal N\mathcal P\) question. (English) Zbl 0323.68033 SIAM J. Comput. 4, 431-442 (1975). MSC: 68Q15 68Q25 68Q45 PDFBibTeX XMLCite \textit{T. Baker} et al., SIAM J. Comput. 4, 431--442 (1975; Zbl 0323.68033) Full Text: DOI
Prikry, Karel; Solovay, Robert M. On partitions into stationary sets. (English) Zbl 0322.02062 J. Symb. Log. 40, 75-80 (1975). MSC: 03E15 03E55 03E05 PDFBibTeX XMLCite \textit{K. Prikry} and \textit{R. M. Solovay}, J. Symb. Log. 40, 75--80 (1975; Zbl 0322.02062) Full Text: DOI
Solovay, Robert M. Strongly compact cardinals and the GCH. (English) Zbl 0317.02083 Proc. Tarski Symp., internat. Symp. Honor Alfred Tarski, Berkeley 1971, Proc. Symp. Pure Math. 25, 365-372 (1974). MSC: 03E55 03E50 03E35 PDFBibTeX XML
Monk, J. Donald; Solovay, R. M. On the number of complete Boolean algebras. (English) Zbl 0261.06010 Algebra Univers. 2, 365-368 (1972). MSC: 06E05 03G05 03C68 PDFBibTeX XMLCite \textit{J. D. Monk} and \textit{R. M. Solovay}, Algebra Univers. 2, 365--368 (1972; Zbl 0261.06010) Full Text: DOI
Levy, A.; Solovay, R. M. On the decomposition of sets of reals to Borel sets. (English) Zbl 0255.02075 Ann. Math. Logic 5, 1-19 (1972). MSC: 03E15 03E35 PDFBibTeX XMLCite \textit{A. Levy} and \textit{R. M. Solovay}, Ann. Math. Logic 5, 1--19 (1972; Zbl 0255.02075) Full Text: DOI
Solovay, R. M.; Tennenbaum, S. Iterated Cohen extensions and Souslin’s problem. (English) Zbl 0244.02023 Ann. Math. (2) 94, 201-245 (1971). MSC: 03E35 03E50 03E15 PDFBibTeX XMLCite \textit{R. M. Solovay} and \textit{S. Tennenbaum}, Ann. Math. (2) 94, 201--245 (1971; Zbl 0244.02023) Full Text: DOI
Solovay, Robert M. Real-valued measurable cardinals. (English) Zbl 0222.02078 Axiomatic Set Theory, Proc. Sympos. Pure Math. 13, Part I, 397-428 (1971). MSC: 03E55 03E40 PDFBibTeX XML
Jensen, R. B.; Solovay, R. M. Some applications of almost disjoint sets. (English) Zbl 0222.02077 Math. Logic Found. Set Theory, Proc. Int. Colloqu., Jerusalem 1968, 84-104 (1970). MSC: 03E45 03E40 03E65 PDFBibTeX XML
Martin, D. A.; Solovay, R. M. Internal Cohen extensions. (English) Zbl 0222.02075 Ann. Math. Logic 2, 143-178 (1970). MSC: 03E40 03E65 03E50 PDFBibTeX XMLCite \textit{D. A. Martin} and \textit{R. M. Solovay}, Ann. Math. Logic 2, 143--178 (1970; Zbl 0222.02075) Full Text: DOI
Solovay, R. M. A model of set-theory in which every set of reals is Lebesgue measurable. (English) Zbl 0207.00905 Ann. Math. (2) 92, 1-56 (1970). MSC: 03C62 03E55 03E25 03E35 03E40 PDFBibTeX XMLCite \textit{R. M. Solovay}, Ann. Math. (2) 92, 1--56 (1970; Zbl 0207.00905) Full Text: DOI Backlinks: MO MO
Solovay, Robert M. On the cardinality of \(\Sigma_2^1\) sets of reals. (English) Zbl 0188.32501 Found. Math., Symp. Pap. Commem. 60th Birthday Kurt Gödel, Columbus 1966, 58-73 (1969). Reviewer: D. A. Clarke MSC: 03E99 PDFBibTeX XML Full Text: DOI
Martin, D. A.; Solovay, R. M. A basis theorem for \(\sum^ 1_ 3\) sets of reals. (English) Zbl 0176.27603 Ann. Math. (2) 89, 138-159 (1969). PDFBibTeX XMLCite \textit{D. A. Martin} and \textit{R. M. Solovay}, Ann. Math. (2) 89, 138--159 (1969; Zbl 0176.27603) Full Text: DOI
Levy, A.; Solovay, R. M. Measurable cardinals and the continuum hypothesis. (English) Zbl 0289.02044 Isr. J. Math. 5, 234-248 (1967). MSC: 03E35 03E55 03E50 03E30 PDFBibTeX XMLCite \textit{A. Levy} and \textit{R. M. Solovay}, Isr. J. Math. 5, 234--248 (1967; Zbl 0289.02044) Full Text: DOI
Solovay, R. M. A nonconstructible \(\Delta^ 1_ 3\) set of integers. (English) Zbl 0161.00704 Trans. Am. Math. Soc. 127, 50-75 (1967). PDFBibTeX XMLCite \textit{R. M. Solovay}, Trans. Am. Math. Soc. 127, 50--75 (1967; Zbl 0161.00704) Full Text: DOI
Solovay, R. M. New proof of a theorem of Gaifman and Hales. (English) Zbl 0158.24903 Bull. Am. Math. Soc. 72, 282-284 (1966). PDFBibTeX XMLCite \textit{R. M. Solovay}, Bull. Am. Math. Soc. 72, 282--284 (1966; Zbl 0158.24903) Full Text: DOI
Solovay, R. \(2^{\aleph 0}\) can be anything it ought to be. (English) Zbl 0202.30701 Theory of Models, Proc. 1963 Int. Symp. Berkeley 435 (1965). PDFBibTeX XML