GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Gerald Sacks
URI:
https://gptkb.org/entity/Gerald_Sacks
GPTKB entity
Statements (37)
Predicate
Object
gptkbp:instanceOf
gptkb:mathematician
gptkb:person
gptkbp:almaMater
gptkb:Cornell_University
gptkbp:birthYear
1933
gptkbp:deathYear
2019
gptkbp:doctoralAdvisor
gptkb:Alonzo_Church
gptkbp:doctoralStudent
gptkb:Carl_Jockusch
gptkb:David_Marker
gptkb:John_Stillwell
gptkb:Julia_Knight
gptkb:Manuel_Lerman
gptkb:Stephen_Simpson
gptkb:Theodore_Slaman
gptkb:William_Gasarch
gptkb:Harvey_Friedman
gptkb:Lenore_Blum
gptkb:Richard_Shore
gptkb:Robert_Soare
gptkb:Richard_Laver
gptkbp:field
gptkb:logic
recursion theory
gptkbp:honor
gptkb:Fellow_of_the_American_Mathematical_Society
https://www.w3.org/2000/01/rdf-schema#label
Gerald Sacks
gptkbp:knownFor
gptkb:Sacks_jump_inversion_theorem
gptkb:Sacks_density_theorem
gptkb:Sacks_forcing
gptkbp:nationality
gptkb:American
gptkbp:notablePublication
gptkb:Degrees_of_Unsolvability_(1966)
gptkb:Higher_Recursion_Theory_(1990)
gptkb:Saturated_Model_Theory_(1972)
gptkbp:workInstitution
gptkb:Harvard_University
gptkb:Massachusetts_Institute_of_Technology
gptkb:University_of_Illinois_at_Chicago
gptkb:Yale_University
gptkbp:bfsParent
gptkb:Stephen_Kleene
gptkb:Lenore_Blum
gptkbp:bfsLayer
5