Lévy Azriel. Axiom schemata of strong infinity in axiomatic set theory. Pacific journal of mathematics, vol. 10 , pp. 223–238 [Book Review]

Journal of Symbolic Logic 27 (1):88-89 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963701

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Azriel Levy, On a Spectrum of Set Theories; A. Levy, R. Vaught, Principles of Partial Reflection in the Set Theories of Zermelo and Ackermann; Azriel Levy, Ernest Nagel, Patrick Suppes, Alfred Tarski, On the Principles of Reflection in Axiomatic Set Theory. [REVIEW]J. R. Shoenfield - 1970 - Journal of Symbolic Logic 35 (3):473.
Lévy A.. Principles of reflection in axiomatic set theory. Fundamenta mathematicae, vol. 49 no. 1 , pp. 1–10.J. R. Shoenfield - 1965 - Journal of Symbolic Logic 30 (2):251-251.
Halpern J. D. and Läuchli H.. A partition theorem. Transactions of the American Mathematical Society, vol. 124 , pp. 360–367.Halpern J. D. and Lévy A.. The Boolean prime ideal theorem does not imply the axiom of choice. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 83–134. [REVIEW]David Pincus - 1974 - Journal of Symbolic Logic 39 (1):181-182.
Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 127–151. [REVIEW]F. R. Drake - 1970 - Journal of Symbolic Logic 34 (4):653-654.
Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 127–151. [REVIEW]Yehoshua Bar-Hillel - 1970 - Journal of Symbolic Logic 34 (4):653-654.
Azriel Lévy. The Fraenkel-Moslowski method for independence proofs in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 221–228. - Paul E. Howard. Limitations on the Fraenkel-Mostowski method of independence proofs. The journal of symbolic logic, vol. 38 , pp. 416–422. [REVIEW]David Pincus - 1975 - Journal of Symbolic Logic 40 (4):631.
Fröhlich A. and Shepherdson J. C.. On the factorisation of polynomials in a finite number of steps. Mathematische Zeitschrift, vol. 62, no. 4 , pp. 331–334.Fröhlich A. and Shepherdson J. C.. Effective procedures in field theory. Philosophical transactions of the Royal Society of London, Series A, vol. 248 , pp. 407–432. [REVIEW]Michael O. Rabin - 1959 - Journal of Symbolic Logic 24 (2):169-170.
Lévy Azriel. On models of set theory with urelements. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 463–465. [REVIEW]Elliott Mendelson - 1971 - Journal of Symbolic Logic 36 (4):682-682.

Analytics

Added to PP
2013-11-03

Downloads
57 (#379,234)

6 months
17 (#177,808)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.
Principles of reflection and second-order logic.Stewart Shapiro - 1987 - Journal of Philosophical Logic 16 (3):309 - 333.
Ackermann's set theory equals ZF.William N. Reinhardt - 1970 - Annals of Mathematical Logic 2 (2):189.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references