John R. Steel

URI: https://gptkb.org/entity/John_R._Steel
GPTKB entity
Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:mathematician
gptkb:person
gptkbp:almaMater gptkb:Stanford_University
gptkbp:awardReceived gptkb:Leroy_P._Steele_Prize
gptkbp:birthYear 1948
gptkbp:doctoralAdvisor gptkb:Jack_Silver
gptkbp:doctoralStudent Hugh Woodin
gptkbp:employer gptkb:University_of_California,_Berkeley
gptkbp:field gptkb:logic
gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label John R. Steel
gptkbp:knownFor work on determinacy
work on inner model theory
work on large cardinals
gptkbp:memberOf gptkb:American_Mathematical_Society
gptkbp:nationality gptkb:American
gptkbp:bfsParent gptkb:Slaman–Steel_theorem
gptkb:Perspectives_in_Mathematical_Logic
gptkb:projective_determinacy
gptkb:Leo_Harrington
gptkbp:bfsLayer 7