Stephen G. Simpson

URI: https://gptkb.org/entity/Stephen_G._Simpson

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Massachusetts_Institute_of_Technology
gptkbp:birthYear	1945
gptkbp:doctoralAdvisor	gptkb:Gerald_E._Sacks
gptkbp:employer	gptkb:Pennsylvania_State_University
gptkbp:field	gptkb:logic gptkb:reverse_mathematics recursion theory
https://www.w3.org/2000/01/rdf-schema#label	Stephen G. Simpson
gptkbp:nationality	gptkb:American
gptkbp:notableStudent	gptkb:Richard_A._Shore gptkb:Antonio_Montalbán gptkb:Carl_Mummert gptkb:Damir_D._Dzhafarov gptkb:Jeffry_L._Hirst gptkb:Paul_Shafer gptkb:Reed_Solomon gptkb:Stephen_Binns gptkb:Andrej_Bauer
gptkbp:notableWork	gptkb:Subsystems_of_Second_Order_Arithmetic
gptkbp:occupation	gptkb:mathematician
gptkbp:position	gptkb:professor
gptkbp:retired	true
gptkbp:bfsParent	gptkb:Hartley_Rogers_Jr.
gptkbp:bfsLayer	5