Steven G. Simpson

URI: https://gptkb.org/entity/Steven_G._Simpson
GPTKB entity
Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:birthYear 1953
gptkbp:doctoralAdvisor gptkb:Yiannis_N._Moschovakis
gptkbp:employer gptkb:Pennsylvania_State_University
gptkb:Vanderbilt_University
gptkbp:field gptkb:logic
gptkb:set_theory
gptkb:reverse_mathematics
recursion theory
https://www.w3.org/2000/01/rdf-schema#label Steven G. Simpson
gptkbp:nationality gptkb:Canadian
gptkbp:notableWork gptkb:Subsystems_of_Second_Order_Arithmetic
gptkbp:occupation gptkb:mathematician
gptkbp:bfsParent gptkb:Rudiments_of_Ramsey_Theory
gptkbp:bfsLayer 8