John R. Çelik - John R. Steel

2004 yılında John Steel

John Robert Steel (30 Ekim 1948 doğumlu), California Üniversitesi, Berkeley'de (eski adıyla UCLA'da ) Amerikalı bir küme teorisyeni . İçsel modeller ve belirlilik teorisine birçok katkı yapmıştır . İle Donald A. Martin , o kanıtladı yansıtmalı belirsizliği yeterli varlığını varsayarak büyük kardinaller . Onun kazanılan doktora John West Addison Jr. ve Stephen G. Simpson'ın ortak denetimi altında 1977'de Berkeley'de Logic & the Methodology of Science'da .

1988'de Sembolik Mantık Derneği ona, Donald A. Martin ve W. Hugh Woodin'e büyük kardinallere göre belirlilik tutarlılığı konusundaki çalışmaları nedeniyle Karp Ödülü'nü verdiler. 2015 yılında Avrupa Kümeler Teorisi Cemiyeti ona ve layık Ronald Jensen Haussdorf Madalyası onların kağıt "ölçülebilir olmadan K" için.

Referanslar

Dış bağlantılar