- 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
Results for 'Azriel Lévy'
(not author) ( search as author name )
1000+ found
Order:
- Axiomatic Set Theory.Azriel Levy - 1962 - Philosophy of Science 29 (1):99-101.
- Set Theory. An Introduction to Large Cardinals.Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
- The Induction Axiom and the Axiom of Choice.Azriel Lévy - 1962 - Journal of Symbolic Logic 27 (2):237-237.
- 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 - 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
- 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.
- 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.
- McNaughton Robert. Some formal relative consistency proofs.Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (4):353-354.
- W. V. Quine and Hao Wang. On ordinals. Bulletin of the American Mathematical Society, vol. 70 , pp. 297–298.Azriel Lévy - 1968 - Journal of Symbolic Logic 33 (1):113.
- [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.
- Alfred Tarski's work in set theory.Azriel Levy - 1988 - Journal of Symbolic Logic 53 (1):2-6.
- Review: Petr Vopenka, Petr Hajek, The Theory of Semisets. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.
- Review: Petr Vopenka, Mathematics in the Alternative set Theory. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1423-1424.
- 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.
- 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.
- Vopěnka Petr and Hájek Petr. The theory of semisets. Studies in logic and the foundations of mathematics, vol. 70. North-Holland Publishing Company, Amsterdam and London, and Academia, Publishing House of the Czechoslovak Academy of Sciences, Prague, 1972, 332 pp. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.
- A. H. Kruse. A method of modelling the formalism of set theory in axiomatic set theory. The journal of symbolic logic, vol. 28 no. 1 , pp. 20–34. [REVIEW]Azriel Lévy - 1966 - Journal of Symbolic Logic 31 (1):132-133.
- A. Grzegorczyk, A. Mostowski, and C. Ryll-Nardzewski. Definability of sets in models of axiomatic theories. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 163–167. [REVIEW]Azriel Lévy - 1969 - Journal of Symbolic Logic 34 (1):126-126.
- Germansky B.. The induction axiom and the axiom of choice. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 219–223. [REVIEW]Azriel Lévy - 1962 - Journal of Symbolic Logic 27 (2):237-237.
- 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.
- Mrówka S.. On the ideals' extension theorem and its equivalence to the axiom of choice. Fundamenta mathematicae vol. 43 , pp. 46–49.Mrówka S.. Two remarks on my paper: “On the ideals' extension theorem and its equivalence to the axiom of choice.” Fundamenta mathematicae vol. 46 , pp. 165–166.Banaschewski Bernhard. On some theorems equivalent with the axiom of choice. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 279–282. [REVIEW]Azriel Lévy - 1963 - Journal of Symbolic Logic 28 (2):168-168.
- R. O. Gandy. On the axiom of extensionality. The journal of symbolic logic, vol. 21 , pp. 36–48, and vol. 24 no. 4 , pp. 287–300. - Dana Scott. More on the axiom of extensionality. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 115–131. [REVIEW]Azriel Lévy - 1964 - Journal of Symbolic Logic 29 (3):142-142.
- 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.
- Scarpellini B.. A characterization of Δ2-sets. Transactions of the American Mathematical Society, vol. 117 , pp. 441–450. [REVIEW]Azriel Lévy - 1972 - Journal of Symbolic Logic 37 (1):193-193.
- Scott Dana. Measurable cardinals and constructible sets. Bulletin de l' Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 521–524. [REVIEW]Azriel Lévy - 1967 - Journal of Symbolic Logic 32 (3):410-410.
- Shoenfield J. R.. On the independence of the axiom of constructibility. American journal of mathematics, vol. 81 , pp. 537–840. [REVIEW]Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (4):355-355.
- 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.
- Wiśniewski K.. Weakened forms of the axiom of choice for finite sets. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 16 , pp. 615–620. [REVIEW]Azriel Lévy - 1971 - Journal of Symbolic Logic 36 (3):543-543.
- Axiomatic Set Theory. Patrick Suppes. [REVIEW]Azriel Levy - 1962 - Philosophy of Science 29 (1):99-101.
- Drake Frank R.. Set theory. An introduction to large cardinals. Studies in logic and the foundations of mathematics, vol. 76. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, xii + 351 pp. [REVIEW]Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
- 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.
- 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.
- 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
- Review: Akihiro Kanamori, The Higher Infinite. Large Cardinals in Set Theory from their Beginnings. [REVIEW]Azriel Levy - 1996 - Journal of Symbolic Logic 61 (1):334-336.
- Review: Alfred Tarski, Y. Bar-Hillel, E. I. J. Poznanski, Introduction to Logic. [REVIEW]Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (2):158-158.
- Review: B. Germansky, The Induction Axiom and the Axiom of Choice. [REVIEW]Azriel Lévy - 1962 - Journal of Symbolic Logic 27 (2):237-237.
- 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.
- Review: Dana Scott, Measurable Cardinals and Constructible Sets. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):410-410.Export citation Bookmark
- Review: Frank R. Drake, Set Theory. An Introduction to Large Cardinals. [REVIEW]Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
- 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.
| 1 — 50 / 1000 |
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-68866f4b87-zhzfn uwo