The Vaught conjecture is a conjecture in the mathematical field of model theory originally proposed by Robert Lawson Vaught in 1961. It concerns the possible numbers of countable models of a first-order complete theory. While some special cases of the question have been settled, one case still remains an open question.

PropertyValue
dbpprop:abstract
  • The Vaught conjecture is a conjecture in the mathematical field of model theory originally proposed by Robert Lawson Vaught in 1961. It concerns the possible numbers of countable models of a first-order complete theory. While some special cases of the question have been settled, one case still remains an open question.
dbpprop:hasPhotoCollection
rdfs:comment
  • The Vaught conjecture is a conjecture in the mathematical field of model theory originally proposed by Robert Lawson Vaught in 1961. It concerns the possible numbers of countable models of a first-order complete theory. While some special cases of the question have been settled, one case still remains an open question.
rdfs:label
  • Vaught conjecture
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of