60 found
Order:
  1.  60
    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 (2 more)  
     
    Export citation  
     
    Bookmark   60 citations  
  2.  43
    Set Theory. An Introduction to Large Cardinals.Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
  3.  15
    Axiomatic Set Theory.Azriel Levy - 1962 - Philosophy of Science 29 (1):99-101.
  4.  68
    On Ackermann's set theory.Azriel Lévy - 1959 - Journal of Symbolic Logic 24 (2):154-166.
  5. A generalization of gödel's notion of constructibility.Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (2):147-155.
  6. [Omnibus Review].Azriel Levy - 1967 - Journal of Symbolic Logic 32 (1):128-129.
  7. 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.
  8.  3
    The Induction Axiom and the Axiom of Choice.Azriel Lévy - 1962 - Journal of Symbolic Logic 27 (2):237-237.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  98
    Alfred Tarski's work in set theory.Azriel Levy - 1988 - Journal of Symbolic Logic 53 (1):2-6.
  10.  42
    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.  12
    Gandy R. O.. On the axiom of extensionality.Azriel Lévy - 1964 - Journal of Symbolic Logic 29 (3):142.
  12.  5
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  9
    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  
  14.  11
    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.
  15.  31
    Review: Petr Vopenka, Petr Hajek, The Theory of Semisets. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  16.  38
    Review: Petr Vopenka, Mathematics in the Alternative set Theory. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1423-1424.
  17. 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  
  18.  63
    Axiomatic Set Theory. Patrick Suppes. [REVIEW]Azriel Levy - 1962 - Philosophy of Science 29 (1):99-101.
  19.  49
    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.
  20.  36
    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.
  21.  23
    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.
  22.  33
    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.
  23.  12
    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.
  24. 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  
  25.  22
    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.
  26.  17
    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  
  27.  15
    Review: B. Germansky, The Induction Axiom and the Axiom of Choice. [REVIEW]Azriel Lévy - 1962 - Journal of Symbolic Logic 27 (2):237-237.
  28.  13
    Review: B. Scarpellini, A Characterization of $Delta_2$-Sets. [REVIEW]Azriel Levy - 1972 - Journal of Symbolic Logic 37 (1):193-193.
  29.  24
    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.
  30. Review: Dana Scott, Measurable Cardinals and Constructible Sets. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):410-410.
  31.  34
    Review: Frank R. Drake, Set Theory. An Introduction to Large Cardinals. [REVIEW]Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
  32. 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.
  33. Review: H. J. Keisler, A. Tarski, From Accessible to Inaccessible Cardinals. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):411-411.
  34.  20
    Review: Jean-Louis Krivine, David Miller, Introduction to Axiomatic Set Theory. [REVIEW]Azriel Levy - 1974 - Journal of Symbolic Logic 39 (1):180-181.
  35. Review: John Myhill, Remark on a System of Bernays. [REVIEW]Azriel Levy - 1964 - Journal of Symbolic Logic 29 (4):208-208.
     
    Export citation  
     
    Bookmark  
  36.  8
    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.
  37.  19
    Review: J. W. Addison, Some Consequences of the Axiom of Constructibility. [REVIEW]Azriel Levy - 1963 - Journal of Symbolic Logic 28 (4):293-293.
  38.  15
    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.
  39.  15
    Review: K. Wisniewski, Remark on the Axiom of Choice for Finite Sets. [REVIEW]Azriel Levy - 1971 - Journal of Symbolic Logic 36 (3):543-543.
  40.  12
    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  
  41. 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.
  42.  30
    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.
  43. Review: W. V. Quine, Hao Wang, On Ordinals. [REVIEW]Azriel Levy - 1968 - Journal of Symbolic Logic 33 (1):113-113.
  44.  17
    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.
  45.  13
    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  
  46.  20
    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.
  47.  20
    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.
  48.  24
    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.
  49.  9
    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)  
     
    Export citation  
     
    Bookmark  
  50.  26
    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.
1 — 50 / 60