60 found
Order:
  1.  30
    Set Theory. An Introduction to Large Cardinals.Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
  2.  44
    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
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  3. 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.
  4.  5
    Axiomatic Set Theory.Azriel Levy - 1962 - Philosophy of Science 29 (1):99-101.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  5. A Generalization of Gödel's Notion of Constructibility.Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (2):147-155.
  6.  27
    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.
  7.  26
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  25
    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.
  9.  25
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  24
    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.
  11.  21
    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.
  12.  49
    On Ackermann's Set Theory.Azriel Lévy - 1959 - Journal of Symbolic Logic 24 (2):154-166.
  13.  17
    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.
  14.  31
    Axiomatic Set Theory. Patrick Suppes.Azriel Levy - 1962 - Philosophy of Science 29 (1):99-101.
  15.  88
    Alfred Tarski's Work in Set Theory.Azriel Levy - 1988 - Journal of Symbolic Logic 53 (1):2-6.
  16.  32
    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.
  17.  10
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  29
    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.
  19. [Omnibus Review].Azriel Levy - 1967 - Journal of Symbolic Logic 32 (1):128-129.
  20.  19
    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.
  21.  9
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  6
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  26
    Review: Petr Vopenka, Mathematics in the Alternative Set Theory. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1423-1424.
  24.  19
    Review: Petr Vopenka, Petr Hajek, The Theory of Semisets. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  5
    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.
  26.  15
    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.
  27.  6
    Review: Robert McNaughton, Some Formal Relative Consistency Proofs. [REVIEW]Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (4):353-354.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  14
    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.
  29.  19
    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.
  30.  13
    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.
  31.  17
    Review: Frank R. Drake, Set Theory. An Introduction to Large Cardinals. [REVIEW]Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
  32.  16
    Review: Jean-Louis Krivine, David Miller, Introduction to Axiomatic Set Theory. [REVIEW]Azriel Levy - 1974 - Journal of Symbolic Logic 39 (1):180-181.
  33.  12
    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.
  34. Review: H. J. Keisler, A. Tarski, From Accessible to Inaccessible Cardinals. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):411-411.
  35.  11
    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.
  36.  11
    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.
  37.  14
    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.
  38.  11
    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.
  39. Review: Dana Scott, Measurable Cardinals and Constructible Sets. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):410-410.
  40.  5
    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.
  41.  12
    Review: J. W. Addison, Some Consequences of the Axiom of Constructibility. [REVIEW]Azriel Levy - 1963 - Journal of Symbolic Logic 28 (4):293-293.
  42.  10
    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.
  43.  11
    Review: B. Germansky, The Induction Axiom and the Axiom of Choice. [REVIEW]Azriel Lévy - 1962 - Journal of Symbolic Logic 27 (2):237-237.
  44.  7
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  8
    Review: B. Scarpellini, A Characterization of $Delta_2$-Sets. [REVIEW]Azriel Levy - 1972 - Journal of Symbolic Logic 37 (1):193-193.
  46.  6
    Gandy R. O.. On the Axiom of Extensionality.Azriel Lévy - 1964 - Journal of Symbolic Logic 29 (3):142.
  47.  6
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  6
    McNaughton Robert. Some Formal Relative Consistency Proofs.Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (4):353-354.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. 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.
  50. 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.
1 — 50 / 60