Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Vaught_conjecture> ?p ?o }
Showing triples 1 to 48 of
48
with 100 triples per page.
- Vaught_conjecture abstract "The Vaught conjecture is a conjecture in the mathematical field of model theory originally proposed by Robert Lawson Vaught in 1961. It states that the number of countable models of a first-order complete theory in a countable language is finite or ℵ0 or 2ℵ0. Morley showed that number of countable models is finite or ℵ0 or ℵ1 or 2ℵ0, which solves the conjecture except for the case of ℵ1 models when the continuum hypothesis fails. For this remaining case, Robin Knight (2002, 2007) has announced a counterexample to the Vaught conjecture and the topological Vaught conjecture.".
- Vaught_conjecture wikiPageExternalLink example.ps.
- Vaught_conjecture wikiPageID "13797188".
- Vaught_conjecture wikiPageLength "6629".
- Vaught_conjecture wikiPageOutDegree "18".
- Vaught_conjecture wikiPageRevisionID "597778677".
- Vaught_conjecture wikiPageWikiLink Andrzej_Ehrenfeucht.
- Vaught_conjecture wikiPageWikiLink Andrzej_Grzegorczyk.
- Vaught_conjecture wikiPageWikiLink Atomic_model_(mathematical_logic).
- Vaught_conjecture wikiPageWikiLink Category:Conjectures.
- Vaught_conjecture wikiPageWikiLink Category:Model_theory.
- Vaught_conjecture wikiPageWikiLink Conjecture.
- Vaught_conjecture wikiPageWikiLink Continuum_hypothesis.
- Vaught_conjecture wikiPageWikiLink Leo_Harrington.
- Vaught_conjecture wikiPageWikiLink Michael_Makkai.
- Vaught_conjecture wikiPageWikiLink Model_theory.
- Vaught_conjecture wikiPageWikiLink Morleys_categoricity_theorem.
- Vaught_conjecture wikiPageWikiLink Omega-categorical_theory.
- Vaught_conjecture wikiPageWikiLink Robert_Lawson_Vaught.
- Vaught_conjecture wikiPageWikiLink Saharon_Shelah.
- Vaught_conjecture wikiPageWikiLink Saturated_model.
- Vaught_conjecture wikiPageWikiLink Spectrum_of_a_theory.
- Vaught_conjecture wikiPageWikiLink Springer-Verlag.
- Vaught_conjecture wikiPageWikiLink Springer_Science+Business_Media.
- Vaught_conjecture wikiPageWikiLinkText "Vaught conjecture".
- Vaught_conjecture wikiPageWikiLinkText "Vaught's conjecture".
- Vaught_conjecture first "Robin".
- Vaught_conjecture hasPhotoCollection Vaught_conjecture.
- Vaught_conjecture last "Knight".
- Vaught_conjecture wikiPageUsesTemplate Template:Citation.
- Vaught_conjecture wikiPageUsesTemplate Template:Harvs.
- Vaught_conjecture wikiPageUsesTemplate Template:Sup.
- Vaught_conjecture year "2002".
- Vaught_conjecture year "2007".
- Vaught_conjecture subject Category:Conjectures.
- Vaught_conjecture subject Category:Model_theory.
- Vaught_conjecture hypernym Conjecture.
- Vaught_conjecture type Conjecture.
- Vaught_conjecture type Statement.
- Vaught_conjecture type Statement.
- Vaught_conjecture comment "The Vaught conjecture is a conjecture in the mathematical field of model theory originally proposed by Robert Lawson Vaught in 1961. It states that the number of countable models of a first-order complete theory in a countable language is finite or ℵ0 or 2ℵ0. Morley showed that number of countable models is finite or ℵ0 or ℵ1 or 2ℵ0, which solves the conjecture except for the case of ℵ1 models when the continuum hypothesis fails.".
- Vaught_conjecture label "Vaught conjecture".
- Vaught_conjecture sameAs Congetura_ëd_Vaught.
- Vaught_conjecture sameAs m.03cjjxb.
- Vaught_conjecture sameAs Q7917378.
- Vaught_conjecture sameAs Q7917378.
- Vaught_conjecture wasDerivedFrom Vaught_conjecture?oldid=597778677.
- Vaught_conjecture isPrimaryTopicOf Vaught_conjecture.