Azriel Lévy

Azriel Lévy
עזריאל לוי
Bornc. 1934
NationalityIsraeli
Alma materHebrew University of Jerusalem
Known forLévy hierarchy, Lévy collapse, Feferman–Levy model
Scientific career
FieldsMathematics, Logic
InstitutionsHebrew University of Jerusalem
Doctoral advisorAbraham Fraenkel, Abraham Robinson

Azriel Lévy[1] (Hebrew: עזריאל לוי; born c. 1934) is an Israeli mathematician, logician, and a professor emeritus at the Hebrew University of Jerusalem.

Biography

Lévy obtained his Ph.D. at the Hebrew University of Jerusalem in 1958, under the supervision of Abraham Fraenkel and Abraham Robinson. Later, 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, Levy collapse and the Feferman–Levy model.

His students include Dov Gabbay, Moti Gitik, and Menachem Magidor.

Selected works

  • Lévy, Azriel (1958). "The independence of various definitions of finiteness" (PDF). Fundamenta Mathematicae. 46: 1–13. doi:10.4064/fm-46-1-1-13.
  • A. Lévy: A hierarchy of formulas in set theory, Memoirs of the American Mathematical Society, 57, 1965.
  • J. D. Halpern, A. Lévy: The Boolean prime ideal theorem does not imply the axiom of choice, Axiomatic Set Theory, Symposia Pure Math., 1971, 83–134.
  • A. Lévy: Basic Set Theory, Springer-Verlag, Berlin, 1979, 391 pages;[2] reprinted by Dover Publications, 2003.

Notes

  1. ^ More commonly written with an accent in English sources, e.g., A. Lévy: A hierarchy of formulas in set theory, Memoirs of the American Mathematical Society, 57, 1965.
  2. ^ Baumgartner, J. E. (1980). "Review: Basic set theory by Azriel Lévy" (PDF). Bull. Amer. Math. Soc. (N.S.). 3, Part 1 (1): 772–774. doi:10.1090/S0273-0979-1980-14817-X.

References


Flag of IsraelScientist icon Stub icon

This article about an Israeli scientist is a stub. You can help Wikipedia by expanding it.

Stub icon

This article about an Asian mathematician is a stub. You can help Wikipedia by expanding it.

Read other articles:

Холокост на Украине

Часть серии статей о Холокосте Идеология и политика Расовая гигиена · Расовый антисемитизм · Нацистская расовая политика · Нюрнбергские расовые законы Шоа Лагеря смерти Белжец · Дахау · Майданек · Малый Тростенец · Маутхаузен ·&...

 

العلاقات النمساوية الكوستاريكية

العلاقات النمساوية الكوستاريكية النمسا كوستاريكا   النمسا   كوستاريكا تعديل مصدري - تعديل   العلاقات النمساوية الكوستاريكية هي العلاقات الثنائية التي تجمع بين النمسا وكوستاريكا.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدول�...

 

Woman's Hour

BBC radio magazine programme for women, broadcast on Radio 4 in the United Kingdom. This article's lead section may be too short to adequately summarize the key points. Please consider expanding the lead to provide an accessible overview of all important aspects of the article. (July 2022) Woman's HourGenreNews magazine focusing on women's issuesRunning time60 minutes (10:00 am – 11:00 am)Country of originUnited KingdomLanguage(s)EnglishHome stationBBC Light Programme (1946–1967)BBC R...

The Atlanta Journal-Constitution

Daily newspaper in Atlanta, Georgia Not to be confused with American Jewish Committee or American Jewish Congress. This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: The Atlanta Journal-Constitution – news · newspapers · books · scholar · JSTOR (September 2023) (Learn how and when to remove this template messag...

 

S11 (protest)

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: S11 protest – news · newspapers · books · scholar · JSTOR (December 2018) (Learn how and when to remo...

 

1639 transit of Venus

Earliest certainly recorded transit of Venus Romanticised Victorian painting of Jeremiah Horrocks observing the 1639 transit of Venus (The Founder of English Astronomy by Eyre Crowe, 1891) The first known observations and recording of a transit of Venus were made in 1639 by the English astronomers Jeremiah Horrocks and his friend and correspondent William Crabtree.[1] The pair made their observations independently on 4 December that year (24 November under the Julian calenda...

Limbu language

Sino-Tibetan language of eastern Nepal and India For the Bantoid language of Cameroon, see Limbum language. LimbuYakthuṅ panᤕᤠᤰᤌᤢᤱ ᤐᤠᤴyakthuṅ pan written in Limbu ScriptNative toSikkim and Eastern NepalRegionNepal; significant communities in Bhutan; Sikkim and Darjeeling district of IndiaEthnicityLimbuNative speakers410,000 (2011–2021 censuses)[1]Language familySino-Tibetan Tibeto-BurmanMahakiranti (?)KirantiLimbuDialects Phedape Chhathare Panthare Ta...

 

Cherry River (West Virginia)

For other uses, see Cherry (disambiguation). River in southeastern West Virginia Cherry RiverCherry River in Nicholas County after heavy rainsLocationCountryUnited StatesPhysical characteristicsSource  • locationPocahontas County, West Virginia (North and South Forks) • elevation2,226 ft (678 m) (at confluence of forks at Richwood)[1] Mouth  • locationGauley River, Nicholas County, West Virginia The North Fork of...

 

Baehr v. Miike

Lawsuit against Hawaii's prohibition of same-sex marriage Baehr v. MiikeCourtSupreme Court of HawaiiFull case nameNinia Baehr, Genora Dancel, Tammy Rodrigues, Antoinette Pregil, Pat Lagon, Jeseph Mellilo, Plaintiffs-Appelleesv.Lawrence H. Miike, in his official capacity as Director of the Department of Health, State of Hawaii, Defendant-Appellant DecidedDecember 9, 1999Citation(s)Supreme Court of Hawaii No. 20371Case historyPrior action(s)Baehr v. Lewin, 74 Haw. 530, 852 P.2d 44 (1993), recon...

A243 road

Road in England This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: A243 road – news · newspapers · books · scholar · JSTOR (July 2022) (Learn how and when to remove this message) A243A243 southbound at Malden RushettRoute informationLength7.4 mi (11.9 km)Major junctionsNorth endSurbitonMajor...

 

S*P*Y*S

1974 film by Irvin Kershner This article is about the 1974 film. For other uses, see Spy (disambiguation). S*P*Y*STheatrical release posterDirected byIrvin KershnerWritten byMalcolm MarmorsteinLawrence J. CohenFred FreemanProduced byRobert ChartoffIrwin WinklerStarringElliott GouldDonald SutherlandCinematographyGerry FisherEdited byRobert LawrenceKeith PalmerMusic byJerry GoldsmithProductioncompaniesAmerican Film PropertiesDymphanaDistributed by20th Century FoxRelease date June 28, ...

 

NHK北見放送局

日本放送協会 > 日本放送協会放送局の一覧 > NHK北見放送局 NHK北見放送局 NHK北見放送局所在地 〒090-0035 北海道北見市北斗町2丁目3-24 北緯43度48分40秒 東経143度53分4秒 / 北緯43.81111度 東経143.88444度 / 43.81111; 143.88444座標: 北緯43度48分40秒 東経143度53分4秒 / 北緯43.81111度 東経143.88444度 / 43.81111; 143.88444 公式サイト総合テレビ開局日...

Taiwan Jones

American football player (born 1988) For another person, see Taiwan Jones (linebacker). American football player Taiwan JonesJones with the Oakland Raiders in 2011Personal informationBorn: (1988-07-26) July 26, 1988 (age 36)San Francisco, California, U.S.Height:6 ft 0 in (1.83 m)Weight:195 lb (88 kg)Career informationHigh school:Deer Valley(Antioch, California)College:Eastern Washington (2007–2010)Position:Running backReturn specialistNFL draft:2011 / Roun...

 

Anastasija Myskina

Anastasija MyskinaAnastasija Myskina nel 2008Nazionalità Russia Altezza174 cm Peso59 kg Tennis Carriera Singolare1 Vittorie/sconfitte 355 - 191 Titoli vinti 10 WTA, 3 ITF Miglior ranking 2º (13 settembre 2004) Risultati nei tornei del Grande Slam  Australian Open QF (2003, 2004)  Roland Garros V (2004)  Wimbledon QF (2005, 2006)  US Open QF (2003) Altri tornei  Tour Finals SF (2004)  Giochi olimpici SF (2004) Doppio1 Vittorie/sconfitte 100 - 92 Titoli vint...

 

كأس العالم لكرة السلة للسيدات

كأس العالم لكرة السلة للسيدات   معلومات عامة الرياضة كرة السلة انطلقت 1953 (منذ 71 سنة) المنظم الاتحاد الدولي لكرة السلة المنطقة العالم التواتر أربعة سنوات عدد المشاركين 16 الموقع الرسمي الموقع الرسمي قائمة الفائزين آخر بطل  الولايات المتحدة (البطل الحالي) الأكثر تتويجًا...

Santa Catarina

Para otros usos de este término, véase Santa Catarina (desambiguación). Santa Catarina EstadoBanderaEscudo Coordenadas 27°16′S 50°29′O / -27.27, -50.49Capital FlorianópolisCiudad más poblada JoinvilleIdioma oficial Portugués • Otros idiomas Alemán, cáingang y xokléngEntidad Estado • País  BrasilGobernador Jorginho Mello (PL)Subdivisiones 295 municipiosSuperficie Puesto 20.º • Total 95442 km²Altitud   • Media 627 m s. n. ...

 

The Real

Philosophical category of inexpressible reality For other uses, see The Real (disambiguation). Not to be confused with Reality, Ontic, or Reality in Buddhism. Main articles: Horror vacui (physics) and The Void (philosophy) For broader coverage of this topic, see Know thyself, Dialectic, Marx's theory of alienation, Nature (philosophy), and Ouroboros. This article may lack focus or may be about more than one topic. Please help improve this article, possibly by splitting the article and/or by i...

 

Proverb

Short traditional saying that expresses a perceived truth Proverbs redirects here. For the biblical text, see Book of Proverbs. For other uses, see Proverb (disambiguation). Adage redirects here. For other uses, see Adage (disambiguation). Not to be confused with pro-verb. Literature Oral literature Folklore fable fairy tale folk play folksong heroic epic legend myth proverb Oration Performance audiobook spoken word Saying Major written forms Drama closet drama Poetry lyric narrative Prose No...

Biedermeier

19th century art movement from Central Europe BiedermeierDer Sonntagsspaziergang painting by Carl Spitzweg, a typical representation of the Biedermeier period (1841)Years active1815–1848LocationCentral EuropeInfluencesEmpire styleInfluencedŚwidermajer Austrian Biedermeier sofa, c. 1815–1825, mahogany, upholstery (not original), Montreal Museum of Fine Arts (Montreal, Canada) The Biedermeier period was an era in Central Europe between 1815 and 1848 during which the middle classes grew in ...

 

Cherepovets

City in Vologda Oblast, Russia City in Vologda Oblast, RussiaCherepovets ЧереповецCity[1]Theatre in old town FlagCoat of armsLocation of Cherepovets CherepovetsLocation of CherepovetsShow map of RussiaCherepovetsCherepovets (Vologda Oblast)Show map of Vologda OblastCoordinates: 59°07′N 37°54′E / 59.117°N 37.900°E / 59.117; 37.900CountryRussiaFederal subjectVologda Oblast[2]FoundedNovember 4,[citation needed] 1777[3]...