Azriel Lévy (Hebrew: עזריאל לוי; born c. 1934) is an Israeli mathematician, logician, and a professor emeritus at the Hebrew University of Jerusalem....
4 KB (314 words) - 01:59, 5 February 2025
Azriel Graeber (born 1948), Talmudic Scholar and founder of the Jewish Scholarship Society Azriel Hildesheimer (1820–1899), German rabbi Azriel Lévy (born...
2 KB (210 words) - 03:00, 18 May 2025
In set theory and mathematical logic, the Lévy hierarchy, introduced by Azriel Lévy in 1965, is a hierarchy of formulas in the formal language of the...
10 KB (1,396 words) - 02:56, 5 June 2025
psychologist Julia Levy (born 1934), Canadian microbiologist and immunologist Oscar Levy (1867–1946), German physician and writer Azriel Lévy (born 1934), Israeli...
14 KB (1,696 words) - 16:43, 1 July 2025
Imperial College London Université Paul Sabatier Ashkelon Academic College Thesis Non-classical Logics (1969) Doctoral advisor Azriel Lévy Michael O. Rabin...
9 KB (750 words) - 12:01, 18 July 2025
ISBN 0-387-94094-4, pp. 7–8 Abraham Adolf Fraenkel, Yehoshua Bar-Hillel, Azriel Lévy, Foundations of school Set Theory, Elsevier Studies in Logic Vol. 67...
16 KB (2,224 words) - 06:56, 3 May 2025
first-order logic may be regarded as a mere matter of convenience, as noted by Azriel Lévy: The reason why we take up first-order predicate calculus with equality...
68 KB (7,795 words) - 17:53, 4 July 2025
thesis, On Super Compact Cardinals, was written under the supervision of Azriel Lévy. He served as president of the Hebrew University of Jerusalem from 1997...
7 KB (581 words) - 01:33, 2 February 2025
mathematician Armand Lévy (1795–1841), mathematician Azriel Lévy (born 1934), mathematical logic Hyman Levy (1889–1975), mathematician Paul Lévy (1886–1971),...
179 KB (15,739 words) - 04:01, 5 July 2025
Collapsing algebra (redirect from Levy collapse)
The posets used to generate collapsing algebras were introduced by Azriel Lévy in 1963. The collapsing algebra of λω is a complete Boolean algebra with...
2 KB (254 words) - 02:15, 13 May 2024
Proceedings of Symposia in Pure Mathematics, vol. 13 part 1, pp.199--203 Azriel Lévy, "The Sizes of the Indescribable Cardinals" (1971). Appearing in Axiomatic...
12 KB (1,900 words) - 04:21, 14 November 2024
axiom schema of replacement to obtain different equivalent versions. Azriel Lévy showed that a version of replacement with parameters removed, i.e. the...
22 KB (3,558 words) - 04:45, 6 June 2025
issue of the same journal surveys his work on axiomatic set theory (Azriel Levy), real closed fields (Lou Van Den Dries), decidable theory (Doner and...
50 KB (5,757 words) - 20:37, 19 June 2025
Encyclopedia Hebraica, vol 26. 1973 (1958). (with Yehoshua Bar-Hillel, Azriel Levy, and Dirk van Dalen) Foundations of Set Theory. North Holland. 2016 Recollections...
14 KB (1,442 words) - 04:41, 13 May 2025
LeVeque Simon A. Levin David K. Levine Harold Levine Michael Levitt Azriel Lévy Marta Lewicka Harry R. Lewis Hans Lewy Mark Liberman Victor Lidskii Lin...
61 KB (5,914 words) - 19:22, 19 July 2025
choice, though the proof of this statement, due to J. D. Halpern and Azriel Lévy is rather non-trivial. The prototypical properties that were discussed...
15 KB (2,256 words) - 13:54, 6 April 2025
LEM Law of the excluded middle Lévy 1. Azriel Lévy 2. The Lévy collapse is a way of destroying cardinals 3. The Lévy hierarchy classifies formulas in...
91 KB (11,628 words) - 12:22, 21 March 2025
theory satisfying the axiom of limitation of size. Abraham Fraenkel and Azriel Lévy have stated that the axiom of limitation of size does not capture all...
48 KB (6,695 words) - 15:25, 15 July 2025
University, University of Toronto Doctoral advisor Paul Dienes Doctoral students E. Mark Gold Azriel Lévy A. H. Lightstone Peter Winkler Carol S. Wood...
9 KB (756 words) - 01:22, 11 May 2025
List of forcing notions (redirect from Levy forcing)
less than λ onto κ, but keeps λ as the successor to κ. Levy collapsing is named for Azriel Levy. Amongst many forcing notions developed by Magidor, one...
18 KB (2,669 words) - 06:00, 17 July 2025
Keldysh Kenneth Kunen Casimir Kuratowski Jean A. Larson Richard Laver Azriel Lévy Benedikt Löwe Nikolai Luzin Menachem Magidor Donald A. Martin Adrian...
5 KB (448 words) - 01:47, 13 February 2025
ISBN 978-90-277-0599-0. Abraham Halevi Fraenkel; Yehoshua Bar-Hillel; Azriel Levy (1973). Foundations of Set Theory. Studies in Logic and the Foundations...
10 KB (791 words) - 03:19, 16 June 2025
Jean-Louis Krivine (Assessor 1987–1991) Hannes Leitgeb (Assessor 2016–2019) Azriel Lévy (Assessor 1979–1983) Peter Lipton (Assessor 2000–2003) Benedikt Löwe...
25 KB (2,535 words) - 02:17, 19 July 2025
(1946– ); Israel Prize (2012) Ruth Lawrence (1971– ) Nati Linial (1953– ) Azriel Lévy (1934– ) Elon Lindenstrauss (1970– ); Fields Medal (2010) Alexander Lubotzky...
9 KB (692 words) - 21:24, 26 May 2025
1112/S0024609396221678 Joel David Hamkins, Studia Logica, JSTOR 20016207 Azriel Lévy, Journal of Symbolic Logic, doi:10.2307/2275615, JSTOR 2275615 Pierre...
4 KB (248 words) - 21:52, 3 February 2025
main reference for large cardinals", and reviewers Joel David Hamkins, Azriel Lévy and Philip Welch express similar sentiments. Hamkins writes that the...
6 KB (658 words) - 23:34, 4 February 2025
Bratislava: Union of Slovak Mathematicians and Physicists. ISBN _. Azriel Levy; Vopěnka, Petr (1984). "Mathematics in the Alternative set Theory by...
11 KB (878 words) - 00:19, 28 March 2025
Aviv University Thesis All Uncountable Cardinals can be Singular (1980) Doctoral advisors Azriel Levy Menachem Magidor Website math.tau.ac.il/~gitik/...
4 KB (332 words) - 23:50, 27 February 2025
language of formulas that do not mention V {\displaystyle V} . In 1959, Azriel Lévy proved that if ϕ {\displaystyle \phi } is a formula of L { ∈ } {\displaystyle...
9 KB (1,332 words) - 14:52, 24 June 2025
"goes back eight generations in the Land of Israel". Her paternal ancestor Azriel Zelig Hausdorf, a Zionist philanthropist, was born in Myslovitz, Poland...
26 KB (2,364 words) - 09:37, 17 July 2025