Vaught’s test

Let L be a first order language, and let S be a set of L-sentencesMathworldPlanetmath with no finite models which is κ-categorical for some κ|L|. Then S is completePlanetmathPlanetmathPlanetmathPlanetmathPlanetmath (

Title Vaught’s test
Canonical name VaughtsTest
Date of creation 2013-03-22 13:00:37
Last modified on 2013-03-22 13:00:37
Owner Evandar (27)
Last modified by Evandar (27)
Numerical id 7
Author Evandar (27)
Entry type Theorem
Classification msc 03C35
Related topic KappaCategorical