Faster access than browser!
17 relations: Abraham Fraenkel, Abraham Robinson, Axiom of choice, Boolean prime ideal theorem, Dov Gabbay, Forcing (mathematics), Fundamenta Mathematicae, Hebrew language, Hebrew University of Jerusalem, Inner model theory, Lévy hierarchy, Logic, Mathematician, Menachem Magidor, Moti Gitik, Paul Cohen, Set theory.
Abraham Fraenkel
Abraham Halevi (Adolf) Fraenkel (אברהם הלוי (אדולף) פרנקל; February 17, 1891 – October 15, 1965), known as Abraham Fraenkel, was a German-born Israeli mathematician.
New!!: Azriel Lévy and Abraham Fraenkel · See more »
Abraham Robinson
Abraham Robinson (born Robinsohn; October 6, 1918 – April 11, 1974) was a mathematician who is most widely known for development of non-standard analysis, a mathematically rigorous system whereby infinitesimal and infinite numbers were reincorporated into modern mathematics.
New!!: Azriel Lévy and Abraham Robinson · See more »
Axiom of choice
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non-empty sets is non-empty.
New!!: Azriel Lévy and Axiom of choice · See more »
Boolean prime ideal theorem
In mathematics, a prime ideal theorem guarantees the existence of certain types of subsets in a given algebra.
New!!: Azriel Lévy and Boolean prime ideal theorem · See more »
Dov Gabbay
Dov M. Gabbay (born October 23, 1945) is a British logician.
New!!: Azriel Lévy and Dov Gabbay · See more »
Forcing (mathematics)
In the mathematical discipline of set theory, forcing is a technique for proving consistency and independence results.
New!!: Azriel Lévy and Forcing (mathematics) · See more »
Fundamenta Mathematicae
Fundamenta Mathematicae is a peer-reviewed scientific journal of mathematics with a special focus on the foundations of mathematics, concentrating on set theory, mathematical logic, topology and its interactions with algebra, and dynamical systems.
New!!: Azriel Lévy and Fundamenta Mathematicae · See more »
Hebrew language
No description.
New!!: Azriel Lévy and Hebrew language · See more »
Hebrew University of Jerusalem
The Hebrew University of Jerusalem (האוניברסיטה העברית בירושלים, Ha-Universita ha-Ivrit bi-Yerushalayim; الجامعة العبرية في القدس, Al-Jami'ah al-Ibriyyah fi al-Quds; abbreviated HUJI) is Israel's second oldest university, established in 1918, 30 years before the establishment of the State of Israel.
New!!: Azriel Lévy and Hebrew University of Jerusalem · See more »
Inner model theory
In set theory, inner model theory is the study of certain models of ZFC or some fragment or strengthening thereof.
New!!: Azriel Lévy and Inner model theory · See more »
Lévy hierarchy
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 Zermelo–Fraenkel set theory, which is typically called just the language of set theory.
New!!: Azriel Lévy and Lévy hierarchy · See more »
Logic
Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.
New!!: Azriel Lévy and Logic · See more »
Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in his or her work, typically to solve mathematical problems.
New!!: Azriel Lévy and Mathematician · See more »
Menachem Magidor
Menachem Magidor (born 1946) is an Israeli mathematician who specializes in mathematical logic, in particular set theory.
New!!: Azriel Lévy and Menachem Magidor · See more »
Moti Gitik
Moti Gitik is a mathematician, working in set theory, who is professor at the Tel-Aviv University.
New!!: Azriel Lévy and Moti Gitik · See more »
Paul Cohen
Paul Joseph Cohen (April 2, 1934 – March 23, 2007) was an American mathematician.
New!!: Azriel Lévy and Paul Cohen · See more »
Set theory
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.
New!!: Azriel Lévy and Set theory · See more »
