High Quality Content by WIKIPEDIA articles! 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, R. Knight (2002, 2007) has announced a counterexample to the Vaught conjecture and the topological Vaught conjecture. Let T be a first-order, countable, complete theory with infinite models. Let I(T, ) denote the number of models of T of cardinality up to isomorphism, the spectrum of the theory T.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.