Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q15830473> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Q15830473 subject Q18550470.
- Q15830473 subject Q7451685.
- Q15830473 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 κ.".
- Q15830473 wikiPageExternalLink modeltheory-fo.
- Q15830473 wikiPageWikiLink Q1047547.
- Q15830473 wikiPageWikiLink Q1068283.
- Q15830473 wikiPageWikiLink Q10859910.
- Q15830473 wikiPageWikiLink Q1128796.
- Q15830473 wikiPageWikiLink Q11567.
- Q15830473 wikiPageWikiLink Q1166618.
- Q15830473 wikiPageWikiLink Q125977.
- Q15830473 wikiPageWikiLink Q163875.
- Q15830473 wikiPageWikiLink Q176916.
- Q15830473 wikiPageWikiLink Q181296.
- Q15830473 wikiPageWikiLink Q185478.
- Q15830473 wikiPageWikiLink Q18550470.
- Q15830473 wikiPageWikiLink Q189112.
- Q15830473 wikiPageWikiLink Q192161.
- Q15830473 wikiPageWikiLink Q1928649.
- Q15830473 wikiPageWikiLink Q21199.
- Q15830473 wikiPageWikiLink Q217413.
- Q15830473 wikiPageWikiLink Q2379946.
- Q15830473 wikiPageWikiLink Q2914964.
- Q15830473 wikiPageWikiLink Q3113164.
- Q15830473 wikiPageWikiLink Q311627.
- Q15830473 wikiPageWikiLink Q3508260.
- Q15830473 wikiPageWikiLink Q4049983.
- Q15830473 wikiPageWikiLink Q4055684.
- Q15830473 wikiPageWikiLink Q448592.
- Q15830473 wikiPageWikiLink Q465654.
- Q15830473 wikiPageWikiLink Q467606.
- Q15830473 wikiPageWikiLink Q536558.
- Q15830473 wikiPageWikiLink Q548062.
- Q15830473 wikiPageWikiLink Q7451685.
- Q15830473 wikiPageWikiLink Q7575321.
- Q15830473 wikiPageWikiLink Q7595779.
- Q15830473 wikiPageWikiLink Q877149.
- 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.".
- Q15830473 label "Morley's categoricity theorem".