Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Morley's_categoricity_theorem> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items per page.
- Morley's_categoricity_theorem abstract "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. Saharon Shelah (1974) extended Morley's theorem to uncountable languages: if the language has cardinality κ and a theory is categorical in some uncountable cardinal greater than or equal to κ then it is categorical in all cardinalities greater than κ.".
- Morley's_categoricity_theorem wikiPageExternalLink modeltheory-fo.
- Morley's_categoricity_theorem wikiPageID "1096396".
- Morley's_categoricity_theorem wikiPageRevisionID "574899879".
- Morley's_categoricity_theorem authorlink "Michael D. Morley".
- Morley's_categoricity_theorem authorlink "Saharon Shelah".
- Morley's_categoricity_theorem first "E.A.".
- Morley's_categoricity_theorem first "Michael D.".
- Morley's_categoricity_theorem first "Saharon".
- Morley's_categoricity_theorem hasPhotoCollection Morley's_categoricity_theorem.
- Morley's_categoricity_theorem id "c/c020730".
- Morley's_categoricity_theorem last "Morley".
- Morley's_categoricity_theorem last "Palyutin".
- Morley's_categoricity_theorem last "Shelah".
- Morley's_categoricity_theorem title "Categoricity in cardinality".
- Morley's_categoricity_theorem year "1965".
- Morley's_categoricity_theorem year "1974".
- Morley's_categoricity_theorem subject Category:Model_theory.
- Morley's_categoricity_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Morley's_categoricity_theorem type Abstraction100002137.
- Morley's_categoricity_theorem type Communication100033020.
- Morley's_categoricity_theorem type Message106598915.
- Morley's_categoricity_theorem type Proposition106750804.
- Morley's_categoricity_theorem type Statement106722453.
- Morley's_categoricity_theorem type Theorem106752293.
- Morley's_categoricity_theorem type TheoremsInTheFoundationsOfMathematics.
- Morley's_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.".
- Morley's_categoricity_theorem label "Morley's categoricity theorem".
- Morley's_categoricity_theorem label "Satz von Morley (Modelltheorie)".
- Morley's_categoricity_theorem sameAs Satz_von_Morley_(Modelltheorie).
- Morley's_categoricity_theorem sameAs m.045p5q.
- Morley's_categoricity_theorem sameAs Q15830473.
- Morley's_categoricity_theorem sameAs Q15830473.
- Morley's_categoricity_theorem sameAs Morley's_categoricity_theorem.
- Morley's_categoricity_theorem wasDerivedFrom Morley's_categoricity_theorem?oldid=574899879.
- Morley's_categoricity_theorem isPrimaryTopicOf Morley's_categoricity_theorem.