Morley's categoricity theorem
GPTKB entity
Statements (14)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:appliesTo |
first-order theories
countable languages |
gptkbp:field |
model theory
|
https://www.w3.org/2000/01/rdf-schema#label |
Morley's categoricity theorem
|
gptkbp:namedAfter |
gptkb:Michael_Morley
|
gptkbp:publicationYear |
1965
|
gptkbp:publishedIn |
gptkb:Transactions_of_the_American_Mathematical_Society
|
gptkbp:significance |
foundational result in model theory
|
gptkbp:state |
If a first-order theory in a countable language is categorical in some uncountable cardinality, then it is categorical in all uncountable cardinalities.
|
gptkbp:yearProved |
1965
|
gptkbp:bfsParent |
gptkb:Vaught's_conjecture
gptkb:Michael_Morley |
gptkbp:bfsLayer |
6
|