GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Theodore A. Slaman
URI:
https://gptkb.org/entity/Theodore_A._Slaman
GPTKB entity
Statements (20)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:University_of_California,_Berkeley
gptkbp:awardReceived
gptkb:Guggenheim_Fellowship
gptkb:Sacks_Prize
gptkbp:birthYear
1954
gptkbp:doctoralAdvisor
gptkb:Harvey_Friedman
gptkbp:employer
gptkb:University_of_California,_Berkeley
gptkbp:field
gptkb:logic
computability theory
recursion theory
https://www.w3.org/2000/01/rdf-schema#label
Theodore A. Slaman
gptkbp:knownFor
gptkb:Slaman–Steel_theorem
work on the Turing degree structure
gptkbp:nationality
gptkb:American
gptkbp:notableStudent
gptkb:Julia_Knight
gptkb:Antonio_Montalbán
gptkbp:occupation
gptkb:mathematician
gptkbp:bfsParent
gptkb:Shore–Slaman_theorem
gptkb:Slaman–Steel_theorem
gptkbp:bfsLayer
7