Slaman–Steel theorem

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:field gptkb:logic
gptkb:descriptive_set_theory
https://www.w3.org/2000/01/rdf-schema#label Slaman–Steel theorem
gptkbp:namedAfter gptkb:Theodore_A._Slaman
gptkb:John_R._Steel
gptkbp:publishedIn gptkb:Journal_of_the_American_Mathematical_Society
gptkbp:relatedConcept automorphism
Turing degree
definability
gptkbp:sentence The Turing degrees are not linearly ordered under definability from parameters.
The structure of the Turing degrees is not rigid under automorphisms definable from parameters.
gptkbp:yearProved 1988
gptkbp:bfsParent gptkb:Theodore_Slaman
gptkbp:bfsLayer 6