Concepedia
Statistics
Publications
13
Citations
680
H-Index
11
Active since
1959
Affiliations
Hebrew University of Jerusalem(Current)
Massachusetts Institute of Technology
Azriel Lévy is an author at Hebrew University of Jerusalem specializing in automated reasoning, finance, and business.
Top concepts
Automated ReasoningFinanceBusinessEconomicsEconomic AnalysisInsuranceHumanitiesManagementStatisticsEconometrics
Publications per year
1959–1991
Axiom schemata of strong infinity in axiomatic set theory
Azriel Lévy · Pacific Journal of Mathematics · 1960 · 166 citations · Full text
Foundation Of Mathematics, Axiom Schemata, Set-theoretic Topology +1
A hierarchy of formulas in set theory
Azriel Lévy · Memoirs of the American Mathematical Society · 1965 · 139 citations
Automated Reasoning, First-order Logic, Higher-order Logic +1
H. J. Keisler and A. Tarski. From accessible to inaccessible cardinals. Fundamenta mathematicae, vol. 53 (1964), pp. 225–308. (See corrections, ibid., vol. 57 (1965), p. 119.)
Azriel Lévy · Journal of Symbolic Logic · 1967 · 75 citations
Get Access Link, Humanities, H. J. Keisler +5
Principles of partial reflection in the set theories of Zermelo and Ackermann
Azriel Lévy, Robert L. Vaught · Pacific Journal of Mathematics · 1961 · 72 citations · Full text
Theoretical Mathematics, Partial Reflection, Set-theoretic Topology +4
Foundations of Set Theory [by] Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levy. With the Collaboration of Dirk van Dalen. --
Abraham A. Fraenkel, Yehoshua Bar‐Hillel, Azriel Lévy · 1973 · 60 citations
Foundational Theory, Extremal Set Theory, Set-theoretic Topology +3
1–5 of 13