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