Ronald Jensen

Ronald B. Jensen
	; Prof. Jensen w ośrodku konferencyjnym IM PAN w Będlewie; lipiec 2007
Data urodzenia	1 kwietnia 1936
Data śmierci	16 września 2025
	Multimedia w Wikimedia Commons

Ronald Björn Jensen (ur. 1 kwietnia 1936, zm. 16 września 2025^[1]) – amerykański matematyk, którego prace dotyczyły głównie logiki i teorii mnogości. Profesor emerytowany Uniwersytetu Humboldtów w Berlinie.

Życiorys

Absolwent szkoły średniej (Central High) w Omaha oraz Uniwersytetu Amerykańskiego w Waszyngtonie (BA w ekonomii w 1959). Doktoryzował się w 1964 na uniwersytecie w Bonn (jego promotorem był Gisbert Hasenjäger).

Pracował na Rockefeller University w Nowym Jorku (1969–71), na UC Berkeley (1971–73) oraz szeregu uniwersytetów w Europie: w Bonn, w Oslo, we Fryburgu, na Uniwersytecie Oksfordzkim oraz na Uniwersytecie Humboldtów w Berlinie. W 2001 przeszedł na emeryturę.

Dorobek naukowy

Jensen opublikował jedynie około 30 prac naukowych, większość z nich miała jednak bardzo znaczący wpływ na dalszy rozwój teorii mnogości. Wprowadził i badał szereg zasad kombinatorycznych spełnionych w uniwersum zbiorów konstruowalnych, udowodnił lemat pokryciowy dla L (gdy nie istnieje 0^#), wykazał niesprzeczność NFU^[2]. Szeroko znane jest również jego twierdzenie mówiące, że w pewnym sensie wszystkie zbiory uniwersum teorii mnogości mogą być zakodowane przez jedną liczbę rzeczywistą z pewnego rozszerzenia generycznego^[3].

W uznaniu znaczenia artykułu o tzw. szczegółowej strukturze L (fine structure)^[4] Amerykańskie Towarzystwo Matematyczne przyznało mu w 2003 nagrodę Leroy P. Steele’a (The Leroy P. Steele Prize for Seminal Contribution to Research).

Zobacz też

Linki zewnętrzne

Strona domowa prof. Jensena

Przypisy

↑ Ronald Jensen (Apr 01, 1936 – Sept 16, 2025) [online], Archive of the European Set Theory Society, 18 września 2025 [dostęp 2025-09-20] (ang.).
↑ Holmes, M.R.: Elementary Set Theory with a Universal Set , „Cahiers du Centre de logique”, 10, Academia, Louvain-la-Neuve (Belgium), 1998. ISBN 2-87209-488-1.
↑ Beller, A.; Jensen, R; Welch, P.: Coding the universe, „London Mathematical Society Lecture Note Series”, 47, Cambridge University Press, New York 1982. ISBN 0-521-28040-0
↑ Jensen, R. Björn: The fine structure of the constructible hierarchy. With a section by Jack Silver. „Ann. Math. Logic” 4 (1972), 229-308

[1] Ronald Jensen (Apr 01, 1936 – Sept 16, 2025) [online], Archive of the European Set Theory Society, 18 września 2025 [dostęp 2025-09-20] (ang.).

[2] Holmes, M.R.: Elementary Set Theory with a Universal Set , „Cahiers du Centre de logique”, 10, Academia, Louvain-la-Neuve (Belgium), 1998. ISBN 2-87209-488-1.

[3] Beller, A.; Jensen, R; Welch, P.: Coding the universe, „London Mathematical Society Lecture Note Series”, 47, Cambridge University Press, New York 1982. ISBN 0-521-28040-0

[4] Jensen, R. Björn: The fine structure of the constructible hierarchy. With a section by Jack Silver. „Ann. Math. Logic” 4 (1972), 229-308

[1]

[2]

[3]

[4]