Properties (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:hasAffiliation |
gptkb:University_of_Pennsylvania
|
| gptkbp:hasAwards |
gptkb:G._S._McCulloch_Award
Fellow_of_the_American_Mathematical_Society |
| gptkbp:hasContribution |
Mathematical Logic
Set Theory |
| gptkbp:hasFieldOfUse |
Mathematics
|
| gptkbp:hasOccupation |
Mathematician
|
| gptkbp:hasPublications |
Subsystems_of_Second_Order_Arithmetic
The_Foundations_of_Mathematics_in_the_Theory_of_Sets |
| gptkbp:hasResearchInterest |
Computability Theory
Model Theory Proof Theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Stephen Simpson
|