GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Carl Jockusch
URI:
https://gptkb.org/entity/Carl_Jockusch
GPTKB entity
Statements (20)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Stanford_University
gptkb:Swarthmore_College
gptkbp:birthYear
1941
gptkbp:doctoralAdvisor
gptkb:Solomon_Feferman
gptkbp:doctoralStudent
gptkb:Julia_Knight
gptkb:Manuel_Lerman
gptkb:Theodore_Slaman
gptkb:Richard_Shore
gptkb:Rod_Downey
gptkbp:employer
gptkb:University_of_Illinois_Urbana-Champaign
gptkbp:field
gptkb:logic
recursion theory
https://www.w3.org/2000/01/rdf-schema#label
Carl Jockusch
gptkbp:knownFor
gptkb:Jockusch–Soare_forcing
work on computability theory
gptkbp:nationality
gptkb:American
gptkbp:occupation
gptkb:mathematician
gptkbp:bfsParent
gptkb:Hartley_Rogers_Jr.
gptkbp:bfsLayer
5