GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Stephen G. Simpson
URI:
https://gptkb.org/entity/Stephen_G._Simpson
GPTKB entity
Statements (25)
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