30 results
A theorem on minimal degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 539-544
- Print publication:
- December 1966
-
- Article
- Export citation
Judith Roitman. Introduction to modern set theory. Pure and applied mathematics. John Wiley & Sons, New York etc. 1990, xiii + 156 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. 753
- Print publication:
- June 1991
-
- Article
- Export citation
Degrees of classes of RE sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 695-696
- Print publication:
- September 1976
-
- Article
- Export citation
Steven Orey. Relative interpretations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 146–153. - S. Feferman, G. Kreisel, and S. Orey. I-consistency and faithful interpretations. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 (for 1960, pub. 1962), pp. 52–63.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
- Print publication:
- December 1975
-
- Article
- Export citation
Gerald E. Sacks. Forcing with perfect closed sets. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 331–355.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- June 1974
-
- Article
- Export citation
Herbert B. Enderton. A mathematical introduction to logic. Academic Press, New York and London1972, xiv + 295 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
- Print publication:
- June 1973
-
- Article
- Export citation
J. Donald Monk. Introduction to set theory. McGraw-Hill Book Company, New York, St. Louis, San Francisco, London, Sydney, Toronto, Mexico, and Panama, 1969, ix + 193 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 151
- Print publication:
- March 1973
-
- Article
- Export citation
Robert A. DiPaola. Pseudo-complements and ordinal logics based on consistency statements. The journal of symbolic logic, vol. 31 (1966), pp. 359–364. - Robert A. Dipaola. Some properties of pseudo-complements of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 121 (1966), pp. 296–308.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 406
- Print publication:
- June 1972
-
- Article
- Export citation
Leslie H. Tharp. On a set theory of Bernays. The journal of symbolic logic, vol. 32 (1967), pp. 319–321.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
- Print publication:
- December 1971
-
- Article
- Export citation
Rolf Schock. A simple version of the generalized continuum hypothesis. Notre Dame journal of formal logic, vol. 7 no. 3 (1966), pp. 287–288.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 592
- Print publication:
- December 1970
-
- Article
- Export citation
Azriel Lévy. On a spectrum of set theories. Illinois journal of mathematics, vol. 4 (1960), pp. 413–424. - A. Lévy and R. Vaught. Principles of partial reflection in the set theories of Zermelo and Ackermann. Pacific journal of mathematics, vol. 11 (1961), pp. 1045–1062. - Azriel Lévy. On the principles of reflection in axiomatic set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 87–93.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 473
- Print publication:
- September 1970
-
- Article
- Export citation
P. Bernays. Die hohen Unendlichkeiten und die Axiomatik der Mengenlehre. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państowowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 11–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 632
- Print publication:
- January 1969
-
- Article
- Export citation
Anthony P. Morse. A theory of sets. Academic Press, New York and London1965, xxxi + 130 pp. - Trevor J. McMinn. Foreword. Therein, pp. vii–xxiii.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
- Print publication:
- 26 April 1968
-
- Article
- Export citation
A. H. Lachlan. Effective operations in a general setting. The journal of symbolic logic, vol. 29 no. 4 (for 1964, pub. 1965), pp. 163–178.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
- Print publication:
- December 1966
-
- Article
- Export citation
A. Lévy. Principles of reflection in axiomatic set theory. Fundamenta mathematicae, vol. 49 no. 1 (1960), pp. 1–10.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
- Print publication:
- June 1965
-
- Article
- Export citation
A. Lévy. Axioms of multiple choice. Fundamenta mathematicae, vol. 50 no. 5 (1962), pp. 475–483.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 252
- Print publication:
- June 1965
-
- Article
- Export citation
Abraham A. Fraenkel and Yehoshua Bar-Hillel. Foundations of set theory. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1958, X + 415 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 141
- Print publication:
- September 1964
-
- Article
- Export citation
A. A. Markov. Theory of algorithms. English Translation by Jacques J. Schorr-kon, and Program for Scientific Translations staff. Published for the National Science Foundation, Washington, D.C., and the Department of Commerce by the Israel Program for Scientific Translations, Jerusalem1961, 444 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
- Print publication:
- June 1962
-
- Article
- Export citation
B. Banaschewski. On transfinite iteration. Fundamenta mathematicae, vol. 46 (1958), pp. 225–229.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 236
- Print publication:
- June 1962
-
- Article
- Export citation
A. H. Lachlan. The U-quantifier. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 171–174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
- Print publication:
- June 1962
-
- Article
- Export citation