Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Azriel_Lévy> ?p ?o }
Showing triples 1 to 81 of
81
with 100 triples per page.
- Azriel_Lévy abstract "Azriel Lévy (Hebrew: עזריאל לוי; born c. 1934) is an Israeli mathematician, logician, and a professor emeritus at the Hebrew University of Jerusalem.He obtained his Ph.D. at the Hebrew University of Jerusalem in 1958, under the supervision of Abraham Fraenkel and Abraham Robinson. Using Cohen's method of forcing, he proved several results on the consistency of various statements contradicting the axiom of choice. For example, with J. D. Halpern he proved that the Boolean prime ideal theorem does not imply the axiom of choice. He discovered the models L[x] used in inner model theory. He also introduced the notions of Lévy hierarchy of the formulas of set theory and Levy collapse.His students include Dov Gabbay, Moti Gitik, and Menachem Magidor.".
- Azriel_Lévy birthDate "1934".
- Azriel_Lévy birthYear "1934".
- Azriel_Lévy wikiPageExternalLink 11.pdf.
- Azriel_Lévy wikiPageID "18329294".
- Azriel_Lévy wikiPageLength "2951".
- Azriel_Lévy wikiPageOutDegree "24".
- Azriel_Lévy wikiPageRevisionID "681931445".
- Azriel_Lévy wikiPageWikiLink Abraham_Fraenkel.
- Azriel_Lévy wikiPageWikiLink Abraham_Robinson.
- Azriel_Lévy wikiPageWikiLink Axiom_of_choice.
- Azriel_Lévy wikiPageWikiLink Boolean_prime_ideal_theorem.
- Azriel_Lévy wikiPageWikiLink Category:1934_births.
- Azriel_Lévy wikiPageWikiLink Category:Hebrew_University_of_Jerusalem_alumni.
- Azriel_Lévy wikiPageWikiLink Category:Hebrew_University_of_Jerusalem_faculty.
- Azriel_Lévy wikiPageWikiLink Category:Israeli_mathematicians.
- Azriel_Lévy wikiPageWikiLink Category:Living_people.
- Azriel_Lévy wikiPageWikiLink Category:Set_theorists.
- Azriel_Lévy wikiPageWikiLink Dov_Gabbay.
- Azriel_Lévy wikiPageWikiLink Feferman-Levy_model.
- Azriel_Lévy wikiPageWikiLink Forcing_(mathematics).
- Azriel_Lévy wikiPageWikiLink Fundamenta_Mathematicae.
- Azriel_Lévy wikiPageWikiLink Hebrew_University_of_Jerusalem.
- Azriel_Lévy wikiPageWikiLink Hebrew_language.
- Azriel_Lévy wikiPageWikiLink Inner_model_theory.
- Azriel_Lévy wikiPageWikiLink List_of_forcing_notions.
- Azriel_Lévy wikiPageWikiLink Lévy_hierarchy.
- Azriel_Lévy wikiPageWikiLink Menachem_Magidor.
- Azriel_Lévy wikiPageWikiLink Moti_Gitik.
- Azriel_Lévy wikiPageWikiLink Paul_Cohen.
- Azriel_Lévy wikiPageWikiLink Set_theory.
- Azriel_Lévy wikiPageWikiLinkText "Azriel Lévy".
- Azriel_Lévy wikiPageWikiLinkText "Lévy, Azriel".
- Azriel_Lévy dateOfBirth "1934".
- Azriel_Lévy name "Levy, Azriel".
- Azriel_Lévy shortDescription "Israeli mathematician".
- Azriel_Lévy wikiPageUsesTemplate Template:Asia-mathematician-stub.
- Azriel_Lévy wikiPageUsesTemplate Template:Authority_control.
- Azriel_Lévy wikiPageUsesTemplate Template:Cite_journal.
- Azriel_Lévy wikiPageUsesTemplate Template:Israel-scientist-stub.
- Azriel_Lévy wikiPageUsesTemplate Template:MathGenealogy.
- Azriel_Lévy wikiPageUsesTemplate Template:Persondata.
- Azriel_Lévy wikiPageUsesTemplate Template:Reflist.
- Azriel_Lévy description "Israeli mathematician".
- Azriel_Lévy description "Israeli mathematician".
- Azriel_Lévy subject Category:1934_births.
- Azriel_Lévy subject Category:Hebrew_University_of_Jerusalem_alumni.
- Azriel_Lévy subject Category:Hebrew_University_of_Jerusalem_faculty.
- Azriel_Lévy subject Category:Israeli_mathematicians.
- Azriel_Lévy subject Category:Living_people.
- Azriel_Lévy subject Category:Set_theorists.
- Azriel_Lévy hypernym Mathematician.
- Azriel_Lévy type Agent.
- Azriel_Lévy type List.
- Azriel_Lévy type Person.
- Azriel_Lévy type Scientist.
- Azriel_Lévy type Person.
- Azriel_Lévy type List.
- Azriel_Lévy type Mathematician.
- Azriel_Lévy type Scientist.
- Azriel_Lévy type Agent.
- Azriel_Lévy type NaturalPerson.
- Azriel_Lévy type Thing.
- Azriel_Lévy type Q215627.
- Azriel_Lévy type Q5.
- Azriel_Lévy type Person.
- Azriel_Lévy comment "Azriel Lévy (Hebrew: עזריאל לוי; born c. 1934) is an Israeli mathematician, logician, and a professor emeritus at the Hebrew University of Jerusalem.He obtained his Ph.D. at the Hebrew University of Jerusalem in 1958, under the supervision of Abraham Fraenkel and Abraham Robinson. Using Cohen's method of forcing, he proved several results on the consistency of various statements contradicting the axiom of choice. For example, with J. D.".
- Azriel_Lévy label "Azriel Lévy".
- Azriel_Lévy sameAs Q450427.
- Azriel_Lévy sameAs Azriel_Levy.
- Azriel_Lévy sameAs Azriel_Lévy.
- Azriel_Lévy sameAs עזריאל_לוי.
- Azriel_Lévy sameAs Azriel_Levy.
- Azriel_Lévy sameAs m.04cyw3t.
- Azriel_Lévy sameAs Q450427.
- Azriel_Lévy wasDerivedFrom Azriel_Lévy?oldid=681931445.
- Azriel_Lévy givenName "Azriel".
- Azriel_Lévy isPrimaryTopicOf Azriel_Lévy.
- Azriel_Lévy name "Azriel Levy".
- Azriel_Lévy name "Levy, Azriel".
- Azriel_Lévy surname "Levy".