Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Morleys_categoricity_theorem> ?p ?o }
Showing triples 1 to 77 of
77
with 100 triples per page.
- Morleys_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 κ.".
- Morleys_categoricity_theorem wikiPageExternalLink modeltheory-fo.
- Morleys_categoricity_theorem wikiPageID "1096396".
- Morleys_categoricity_theorem wikiPageLength "7750".
- Morleys_categoricity_theorem wikiPageOutDegree "39".
- Morleys_categoricity_theorem wikiPageRevisionID "683646437".
- Morleys_categoricity_theorem wikiPageWikiLink Abelian_group.
- Morleys_categoricity_theorem wikiPageWikiLink Algebraically_closed_field.
- Morleys_categoricity_theorem wikiPageWikiLink American_Mathematical_Society.
- Morleys_categoricity_theorem wikiPageWikiLink Cardinal_number.
- Morleys_categoricity_theorem wikiPageWikiLink Cardinality.
- Morleys_categoricity_theorem wikiPageWikiLink Category:Model_theory.
- Morleys_categoricity_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Morleys_categoricity_theorem wikiPageWikiLink Category_theory.
- Morleys_categoricity_theorem wikiPageWikiLink Complete_theory.
- Morleys_categoricity_theorem wikiPageWikiLink Complex_number.
- Morleys_categoricity_theorem wikiPageWikiLink Countable_set.
- Morleys_categoricity_theorem wikiPageWikiLink Elementary_equivalence.
- Morleys_categoricity_theorem wikiPageWikiLink First-order_logic.
- Morleys_categoricity_theorem wikiPageWikiLink Formal_language.
- Morleys_categoricity_theorem wikiPageWikiLink Graduate_Texts_in_Mathematics.
- Morleys_categoricity_theorem wikiPageWikiLink Isomorphism.
- Morleys_categoricity_theorem wikiPageWikiLink Jerzy_Łoś.
- Morleys_categoricity_theorem wikiPageWikiLink Löwenheim–Skolem_theorem.
- Morleys_categoricity_theorem wikiPageWikiLink Mathematical_logic.
- Morleys_categoricity_theorem wikiPageWikiLink Michael_D._Morley.
- Morleys_categoricity_theorem wikiPageWikiLink Model_theory.
- Morleys_categoricity_theorem wikiPageWikiLink Natural_number.
- Morleys_categoricity_theorem wikiPageWikiLink Oswald_Veblen.
- Morleys_categoricity_theorem wikiPageWikiLink P-adic_number.
- Morleys_categoricity_theorem wikiPageWikiLink Saharon_Shelah.
- Morleys_categoricity_theorem wikiPageWikiLink Spectrum_of_a_theory.
- Morleys_categoricity_theorem wikiPageWikiLink Springer_Science+Business_Media.
- Morleys_categoricity_theorem wikiPageWikiLink Stable_theory.
- Morleys_categoricity_theorem wikiPageWikiLink Theory_(mathematical_logic).
- Morleys_categoricity_theorem wikiPageWikiLink Transactions_of_the_American_Mathematical_Society.
- Morleys_categoricity_theorem wikiPageWikiLink Uncountable_set.
- Morleys_categoricity_theorem wikiPageWikiLink Up_to.
- Morleys_categoricity_theorem wikiPageWikiLink Vector_space.
- Morleys_categoricity_theorem wikiPageWikiLinkText "Morley's Categoricity Theorem".
- Morleys_categoricity_theorem wikiPageWikiLinkText "Morley's categoricity theorem".
- Morleys_categoricity_theorem wikiPageWikiLinkText "Morley's theorem".
- Morleys_categoricity_theorem wikiPageWikiLinkText "categorical".
- Morleys_categoricity_theorem wikiPageWikiLinkText "uncountably categorical".
- Morleys_categoricity_theorem wikiPageWikiLinkText "κ-categorical".
- Morleys_categoricity_theorem wikiPageWikiLinkText "κ-categoricity".
- Morleys_categoricity_theorem authorlink "Michael D. Morley".
- Morleys_categoricity_theorem authorlink "Saharon Shelah".
- Morleys_categoricity_theorem first "E.A.".
- Morleys_categoricity_theorem first "Michael D.".
- Morleys_categoricity_theorem first "Saharon".
- Morleys_categoricity_theorem id "c/c020730".
- Morleys_categoricity_theorem last "Morley".
- Morleys_categoricity_theorem last "Palyutin".
- Morleys_categoricity_theorem last "Shelah".
- Morleys_categoricity_theorem title "Categoricity in cardinality".
- Morleys_categoricity_theorem wikiPageUsesTemplate Template:Citation.
- Morleys_categoricity_theorem wikiPageUsesTemplate Template:Harvs.
- Morleys_categoricity_theorem wikiPageUsesTemplate Template:Redirect3.
- Morleys_categoricity_theorem wikiPageUsesTemplate Template:Reflist.
- Morleys_categoricity_theorem wikiPageUsesTemplate Template:Springer.
- Morleys_categoricity_theorem year "1965".
- Morleys_categoricity_theorem year "1974".
- Morleys_categoricity_theorem subject Category:Model_theory.
- Morleys_categoricity_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Morleys_categoricity_theorem hypernym Theorem.
- Morleys_categoricity_theorem type Diacritic.
- Morleys_categoricity_theorem type Redirect.
- Morleys_categoricity_theorem type Theorem.
- 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.".
- Morleys_categoricity_theorem label "Morley's categoricity theorem".
- Morleys_categoricity_theorem sameAs Q15830473.
- Morleys_categoricity_theorem sameAs Satz_von_Morley_(Modelltheorie).
- Morleys_categoricity_theorem sameAs m.045p5q.
- Morleys_categoricity_theorem sameAs Q15830473.
- Morleys_categoricity_theorem wasDerivedFrom Morleys_categoricity_theorem?oldid=683646437.
- Morleys_categoricity_theorem isPrimaryTopicOf Morleys_categoricity_theorem.