Robert M. Solovay On the cardinality of sets of reals. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 58–73 [Book Review]
Journal of Symbolic Logic 39 (2):330 (1974)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2272652
My notes
Similar books and articles
Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 1–9. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):593.
Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 10–14. [REVIEW]Richard J. Orgass - 1975 - Journal of Symbolic Logic 40 (2):246.
Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel.T. Holyoke & S. W. Hahn - 1970 - British Journal for the Philosophy of Science 21 (4):403-404.
Foundations of Mathematics: Symposium Papers Commemorating the 60th Birthday of Kurt Godel.Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.) - 1969 - New York: Springer.
Foundations of Mathematics. Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel.Czesław Wojthiewicz - 1970 - Roczniki Filozoficzne 18 (1):197.
Felgner Ulrich. Models of ZF-set theory. Lecture notes in mathematics, no. 223, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, vi + 173 pp.Jech Thomas J.. Lectures in set theory with particular emphasis on the method of forcing. Lecture notes in mathematics, no. 217, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, v + 137 pp. [REVIEW]Frank R. Drake - 1975 - Journal of Symbolic Logic 40 (1):92-93.
Donald A. Martin. The largest countable this, that, and the other. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, pp. 97–106. - Alexander S. Kechris, Donald A. Martin, and Robert M. Solovay. Introduction to Q-theory. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, pp. 199–282. - Steve Jackson. AD and the projective ordinals. Cabal seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture notes in mathematics, vol. 1333, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1988, pp. 117–220. [REVIEW]Sy D. Friedman - 1992 - Journal of Symbolic Logic 57 (1):262-264.
A. Bertoni. Mathematical methods of the theory of stochastic automata. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 9–22. - R. V. Freivald. Functions computable in the limit by probabilistic machines. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 77–87. - B. Goetze and R. Klette. Some properties of limit recursive functions. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 88–90. - Ole-Johan Dahl. An approach to correctness proofs of semicoroutines. [REVIEW]Steven S. Muchnick - 1977 - Journal of Symbolic Logic 42 (3):422-423.
Patrick Farrington. Hinges and automorphisms of the degrees of non-constructibility. The journal of the London Mathematical Society, ser. 2 vol. 28 , pp. 193–202. - Petr Hájek. Some results on degrees of constructibility. Higher set theory, Proceedings, Oberwolfach, Germany, April 13–23, 1977, edited by G. H. Müller and D. S. Scott, Lecture notes in mathematics, vol. 669, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 55–71. - Zofia Adamowicz. On finite lattices of degrees of constructibility of reals. The journal of symbolic logic, vol. 41 , pp. 313–322. - Zofia Adamowicz. Constructive semi-lattices of degrees of constructibility. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by A. Lachlan, M. Srebrny, and A. Zarach, Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 1–43. [REVIEW]Robert Lubarsky - 1989 - Journal of Symbolic Logic 54 (3):1109-1111.
On the Cardinality of\ sum_2^ 1 Sets of Reals.Robert M. Solovay - 1969 - In Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.), Foundations of Mathematics. New York: Springer. pp. 58--73.
Realism as a Philosophy of Mathematics.Stephen F. Barker, Jack J. Bulloff, Thomas C. Holyoke & S. W. Hahn - 1975 - Journal of Symbolic Logic 40 (4):593-593.
Wolfgang Stegmüller. Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie. Volume II. Theorie und Erfahrung. Second part. Theorienstrukturen und Theoriendynamik. Springer-Verlag, Berlin, Heidelberg, and New York, 1973, XIX + 327 pp. - Wolfgang Stegmüller. The structure and dynamics of theories. English translation of the preceding by William Wohlhueter. Springer-Verlag, New York, Heidelberg, and Berlin, 1976, xvii + 284 pp. - Wolfgang Stegmüller. The structuralist view of theories. A possible analogue of the Bourbaki programme in physical science. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, VII + 101 pp. [REVIEW]David Pearce - 1982 - Journal of Symbolic Logic 47 (2):464-470.
Review: Stephen F. Barker, Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Realism as a Philosophy of Mathematics. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):593-593.
On the cardinality of 1\ sets of reals'.R. M. Solovay - 1969 - In Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.), Foundations of Mathematics. New York: Springer. pp. 58--73.
Analytics
Added to PP
2016-06-30
Downloads
19 (#589,316)
6 months
1 (#450,425)
2016-06-30
Downloads
19 (#589,316)
6 months
1 (#450,425)
Historical graph of downloads
