Ronalda Jensena

Ronald Jensen
Jensen wygłasza wykład w 2007 roku
Urodzić się	( 01.04.1936 ) 1 kwietnia 1936
Narodowość	Amerykanin (choć mieszka w Niemczech)
Alma Mater	Uniwersytet w Bonn
Znany z	Teoria mnogości , logika matematyczna
Kariera naukowa
Pola	Matematyk
Instytucje	Uniwersytet Humboldta w Berlinie
Doradca doktorski	Gisberta Hasenjaegera
Doktoranci	Adrian Mathias Benedikt Löwe

Ronald Björn Jensen (urodzony 1 kwietnia 1936) to amerykański matematyk mieszkający w Niemczech, znany przede wszystkim ze swojej pracy w logice matematycznej i teorii mnogości .

Kariera

Jensen uzyskał tytuł licencjata z ekonomii na Uniwersytecie Amerykańskim w 1959 roku oraz doktorat. Doktorat z matematyki na Uniwersytecie w Bonn w 1964 r. Jego promotorem był Gisbert Hasenjaeger . Jensen wykładał na Uniwersytecie Rockefellera w latach 1969–71 oraz na Uniwersytecie Kalifornijskim w Berkeley w latach 1971–73. Pozostałą część swojej kariery akademickiej spędził w Europie na Uniwersytecie w Bonn , Uniwersytecie w Oslo , Uniwersytecie we Freiburgu , Uniwersytecie Oksfordzkim oraz Humboldt-Universität zu Berlin , z którego przeszedł na emeryturę w 2001 roku. Obecnie mieszka w Berlinie .

Jensen został uhonorowany przez Association for Symbolic Logic jako pierwszy wykładowca Gödla w 1990 roku. W 2015 roku Europejskie Towarzystwo Teorii Mnogości przyznało jemu i Johnowi R. Steelowi Medal Hausdorffa za artykuł „K bez mierzalnego”.

Wyniki

Bardziej znane wyniki Jensena obejmują:

• Aksjomatyczna teoria mnogości NFU , wariant Nowych Podstaw (NF), w którym ekstensjonalność jest osłabiona, aby umożliwić kilka zbiorów bez elementów, oraz dowód spójności NFU względem arytmetyki Peano ;
• Teoria struktury subtelnej konstruowalnego wszechświata L . Ta praca doprowadziła do przyznania mu w 2003 roku nagrody Leroya P. Steele'a za przełomowy wkład w badania Amerykańskiego Towarzystwa Matematycznego za artykuł z 1972 roku zatytułowany „Dobra struktura konstruowalnej hierarchii”;
• $kwadratu$ różnych nieskończonych zasad kombinatorycznych w L , w tym diamentu , i bagna ;
• Twierdzenie pokrywające Jensena dla L ;
• Ogólna teoria modeli rdzeniowych i konstrukcja modelu rdzeniowego Dodda-Jensena;
• Spójność CH plus hipoteza Suslina .
• Technika kodowania wszechświata przez rzeczywistość.

Wybrane publikacje

Artykuły

• Ronald Jensen, 1969, „O spójności niewielkiej (?) Modyfikacji NF Quine'a”, Synthese 19 : 250–263. Z dyskusją Quine'a. doi : 10.1007/BF00568059
• Drobna struktura konstruowalnej hierarchii, Annals of Mathematical Logic, tom 4, wydanie 3, sierpień 1972, s. 229–308 doi : 10.1016/0003-4843 (72) 90001-0
• z Anthonym J. Doddem: The core model, Annals of Mathematical Logic, tom 20, 1981, s. 43–75. doi : 10.1016/0003-4843(81)90011-5
• z Anthonym J. Doddem: Lemat pokrywający dla K, Annals of Mathematical Logic, tom 22, 1982, s. 1–30. doi : 10.1016/0003-4843(82)90013-4
• Modele wewnętrzne i duże kardynały. Biuletyn logiki symbolicznej, tom 1, wydanie 4 (1995): 393-407. doi : 10.2307/421129
• z Johnem R. Steelem: K bez mierzalnego , The Journal of Symbolic Logic, tom 78, wydanie 3, 2013, s. 708–734. doi : 10.2178/jsl.7803020

Książki

• Modelle der Mengenlehre. Widerspruchsfreiheit und Unabhängigkeit der Kontinuumshypothese und des Auswahlaxioms. (Notatki z wykładu z matematyki; t. 37). Springera, Berlin 1967.
• jako redaktor wraz z Alexandrem Pestelem: Teoria mnogości i teoria modeli: materiały z nieformalnego sympozjum, które odbyło się w Bonn, 1–3 czerwca 1979 r. Berlin; Nowy Jork: Springer-Verlag, 1981.
•   z Aaronem Bellerem i Philipem Welchem: Kodowanie wszechświata. Cambridge University Press, Cambridge 1982, ISBN 0-521-28040-0 .

Linki zewnętrzne

• Strona Jensena na Humboldt-Universität zu Berlin .
• Krótkie biografie byłych prezesów Towarzystwa Kurta Gödla .