Johna R. Steela

Johna Steela w 2004 roku

John Robert Steel (urodzony 30 października 1948) to amerykański teoretyk mnogości na Uniwersytecie Kalifornijskim w Berkeley (dawniej na UCLA ). Wniósł wiele wkładu w teorię modeli wewnętrznych i determinacji . Wraz z Donaldem A. Martinem udowodnił determinację projekcyjną , zakładając istnienie wystarczającej liczby dużych kardynałów . Uzyskał tytuł doktora. w Logic & the Methodology of Science w Berkeley w 1977 pod wspólnym nadzorem Johna Westa Addisona Jr. i Stephena G. Simpsona .

Nagrody

W 1988 roku Stowarzyszenie Logiki Symbolicznej przyznało mu, Donaldowi A. Martinowi i W. Hugh Woodinowi nagrodę Karpa za ich pracę nad spójnością determinacji w stosunku do dużych kardynałów. W 2015 roku Europejskie Towarzystwo Teorii Mnogości przyznało jemu i Ronaldowi Jensenowi Medal Hausdorffa za artykuł „K bez mierzalnego”.

W 2012 roku Steel wygłosił wykład Gödla zatytułowany Dziedzicznie porządkowe definiowalne zbiory w modelach determinacji.

Linki zewnętrzne

• Strona główna w Berkeley