Matches in DBpedia 2016-04 for { ?s ?p "In model theory, a branch of mathematical logic, a theory is κ-categorical (or categorical in κ) if it has exactly one model of cardinality κ up to isomorphism.Morley's categoricity theorem is a theorem of Michael D. Morley (1965) which states that if a first-order theory in a countable language is categorical in some uncountable cardinality, then it is categorical in all uncountable cardinalities."@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- Morleys_categoricity_theorem comment "In model theory, a branch of mathematical logic, a theory is κ-categorical (or categorical in κ) if it has exactly one model of cardinality κ up to isomorphism.Morley's categoricity theorem is a theorem of Michael D. Morley (1965) which states that if a first-order theory in a countable language is categorical in some uncountable cardinality, then it is categorical in all uncountable cardinalities.".
- Q15830473 comment "In model theory, a branch of mathematical logic, a theory is κ-categorical (or categorical in κ) if it has exactly one model of cardinality κ up to isomorphism.Morley's categoricity theorem is a theorem of Michael D. Morley (1965) which states that if a first-order theory in a countable language is categorical in some uncountable cardinality, then it is categorical in all uncountable cardinalities.".