- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Azriel Levy
39 found
Order:
- (2 other versions)Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.No categories
- (2 other versions)Set Theory. An Introduction to Large Cardinals.Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
- On Ackermann's set theory.Azriel Lévy - 1959 - Journal of Symbolic Logic 24 (2):154-166.
- A generalization of gödel's notion of constructibility.Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (2):147-155.
- [Omnibus Review].Azriel Levy - 1967 - Journal of Symbolic Logic 32 (1):128-129.
- Meeting of the association for symbolic logic: Jerusalem, Israel, 1975.Haim Gaifman, Azriel Levy & Gert H. Müller - 1977 - Journal of Symbolic Logic 42 (1):140-142.
- (2 other versions)The Induction Axiom and the Axiom of Choice.Azriel Lévy - 1962 - Journal of Symbolic Logic 27 (2):237-237.
- Alfred Tarski's work in set theory.Azriel Levy - 1988 - Journal of Symbolic Logic 53 (1):2-6.
- C. C. Chang. Maximal n-disjointed sets and the axiom of choice. Fundamenta mathematicae, vol. 49 , pp. 11–14.Azriel Lévy - 1970 - Journal of Symbolic Logic 35 (3):473.
- Gandy R. O.. On the axiom of extensionality.Azriel Lévy - 1964 - Journal of Symbolic Logic 29 (3):142.
- John Myhill. Remark on a system of Bernays. The journal of symbolic logic, vol. 28 no. 1 , pp. 75–76.Azriel Lévy - 1964 - Journal of Symbolic Logic 29 (4):208.
- (1 other version)Review: Petr Vopenka, Petr Hajek, The Theory of Semisets. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.
- (1 other version)Axiomatic Set Theory. Patrick Suppes. [REVIEW]Azriel Levy - 1962 - Philosophy of Science 29 (1):99-101.
- Foundations of Set Theory [by] Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levy. With the Collaboration of Dirk van Dalen. --.Abraham Adolf Fraenkel, Yehoshua Bar-Hillel & Azriel Lévy - 1973 - North-Holland Pub. Co.Export citation
Bookmark - (1 other version)Jean-Louis Krivine. Théorie axiomatique des ensembles. Presses Universitaires de France, Paris1969, 120 pp. - Jean-Louis Krivine. Introduction to axiomatic set theory. English translation of the preceding by David Miller. D. Reidel Publishing Company, Dordrecht, and Humanities Press, New York, 1971, VII + 100 pp. [REVIEW]Azriel Levy - 1974 - Journal of Symbolic Logic 39 (1):180-181.
- (1 other version)Kanamori Akihiro. The higher infinite. Large cardinals in set theory from their beginnings. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1994, xxiv + 536 pp. [REVIEW]Azriel Levy - 1996 - Journal of Symbolic Logic 61 (1):334-336.
- (1 other version)Petr Vopěnka. Mathematics in the alternative set theory. Teubner-Texte zur Mathematik. Teubner Verlagsgesellschaft, Leipzig1979, 120 pp. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1423-1424.
- (1 other version)Review: A. Grzegorczyk, A. Mostowski, C. Ryll-Nardzewski, Definability of Sets in Models of Axiomatic Theories. [REVIEW]Azriel Levy - 1969 - Journal of Symbolic Logic 34 (1):126-126.
- (1 other version)Review: A. H. Kruse, A Method of Modelling the Formalism of Set Theory in Axiomatic Set Theory. [REVIEW]Azriel Levy - 1966 - Journal of Symbolic Logic 31 (1):132-133.Export citation Bookmark
- (1 other version)Review: B. Scarpellini, A Characterization of $Delta_2$-Sets. [REVIEW]Azriel Levy - 1972 - Journal of Symbolic Logic 37 (1):193-193.
- Review: C. C. Chang, Maximal $n$-Disjointed Sets and the Axiom of Choice. [REVIEW]Azriel Levy - 1970 - Journal of Symbolic Logic 35 (3):473-473.
- (1 other version)Review: Dana Scott, Measurable Cardinals and Constructible Sets. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):410-410.Export citation Bookmark
- Review: H. Jerome Keisler, Some Applications of the Theory of Models to Set Theory. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):410-410.Export citation Bookmark
- Review: H. J. Keisler, A. Tarski, From Accessible to Inaccessible Cardinals. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):411-411.
- Review: John Myhill, Remark on a System of Bernays. [REVIEW]Azriel Levy - 1964 - Journal of Symbolic Logic 29 (4):208-208.Export citation Bookmark
- (1 other version)Review: J. R. Shoenfield, On the Independence of the Axiom of Constructibility. [REVIEW]Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (4):355-355.
- Review: J. W. Addison, Some Consequences of the Axiom of Constructibility. [REVIEW]Azriel Levy - 1963 - Journal of Symbolic Logic 28 (4):293-293.
- (2 other versions)Review: K. Wisniewski, Weakened Forms of the Axiom of Choice for Finite Sets. [REVIEW]Azriel Levy - 1971 - Journal of Symbolic Logic 36 (3):543-543.
- (1 other version)Review: Robert McNaughton, Some Formal Relative Consistency Proofs. [REVIEW]Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (4):353-354.
- (1 other version)Review: R. O. Gandy, On the Axiom of Extensionality; Dana Scott, More on the Axiom of Extensionality. [REVIEW]Azriel Levy - 1964 - Journal of Symbolic Logic 29 (3):142-142.Export citation Bookmark
- (1 other version)Review: S. Mrowka, Fundamenta mathemattcae; Bernhard Banaschewski, On Some Theorems Equivalent with the Axiom of Choice. [REVIEW]Azriel Lévy - 1963 - Journal of Symbolic Logic 28 (2):168-168.
- Review: W. V. Quine, Hao Wang, On Ordinals. [REVIEW]Azriel Levy - 1968 - Journal of Symbolic Logic 33 (1):113-113.Export citation Bookmark
- Hajnal András and Kalmár László. An elementary combinatorial theorem with an application to axiomatic set theory. Publicationes mathematlcae , vol. 4 , pp. 431–449.Burger E.. Eine Bemerkung zur Bernays-Godel-Mengenlehre. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 178–179. [REVIEW]Azriel Levy - 1960 - Journal of Symbolic Logic 25 (4):354-354.
- Hasenjaeger Gisbert. Zur Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 175–177. [REVIEW]Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (2):176-177.
- H. Jerome Keisler. Some applications of the theory of models to 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. 80–86. [REVIEW]Azriel Lévy - 1967 - Journal of Symbolic Logic 32 (3):410.
- H. J. Keisler and A. Tarski. From accessible to inaccessible cardinals. Fundamenta mathematicae, vol. 53 , pp. 225–308. , p. 119.). [REVIEW]Azriel Lévy - 1967 - Journal of Symbolic Logic 32 (3):411.
- (1 other version)S. A. Cook and Hao Wang. Characterizations of ordinal numbers in set theory. Mathematische Annalen, vol. 164 , pp. 1–25. [REVIEW]Azriel Lévy - 1968 - Journal of Symbolic Logic 33 (1):113.
- (1 other version)Alfred Tarski. Hebrew translation of XII 61 by Y. Bar-Hillel with the collaboration of E. I. J. Poznanski. The Weizman Science Press of Israel, Jerusalem1956, vii + 168 pp. [REVIEW]Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (2):158-158.
- Thoralf Skolem. Bemerkungen zum Komprehensionsaxiom. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 , pp. 1–17. - C. C. Chang. The axiom of comprehension in infinite valued logic. Mathematica Scandinavica, vol. 13 , pp. 9–30. - Jens Erik Fenstad. On the consistency of the axiom of comprehension in the Łukasiewicz infinite valued logic. Mathematica Scandinavica, vol. 14 , pp. 65–74. - C. C. Chang. Infinite valued logic as a basis for set theory. 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, Amsterdam1965, pp. 93–100. [REVIEW]Azriel Lévy - 1967 - Journal of Symbolic Logic 32 (1):128-129.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6f97f49787-zrclg uwo