Тест Лось – Воота - Łoś–Vaught test

В теории моделей, разделе математической логики, Тест Лось – Воота является критерием теория быть полный, не может быть увеличена без нарушения согласованности. Для теорий в классическая логика, это означает, что для каждого предложения теория содержит либо предложение, либо его отрицание, но не то и другое вместе.

Согласно этому тесту, если удовлетворительная теория κ-категория (существует бесконечный кардинальный κ такая, что имеет только одну модель с точностью до изоморфизма мощности κ, с κ по крайней мере, равной мощности его языка) и, кроме того, у него нет конечной модели, то он является полным.

Эта теорема была независимо доказана Ежи Лось  (1954 ) и Роберт Л. Воот  (1954 ), в честь которого назван.

Рекомендации

• Эндертон, Герберт Б. (1972), Математическое введение в логику, Academic Press, Нью-Йорк-Лондон, стр. 147, МИСТЕР  0337470.
• Лось, Ежи (1954), «О категоричности элементарных дедуктивных систем и некоторых связанных с этим проблемах», Математический коллоквиум, 3: 58–62, МИСТЕР  0061561.
• Воот, Роберт Л. (1954), "Приложения к теореме Левенхайма-Сколема-Тарского к проблемам полноты и разрешимости", Indagationes Mathematicae, 16: 467–472, МИСТЕР  0063993.