Оглавление
Выдающаяся гипотеза
-
Гипотеза Воута и ее следствия
- Гипотеза Воута утверждает, что полная теория не может иметь более ℵ1 счетных моделей.
- Морли доказал, что если существует полная теория с ℵ1 счетными моделями, то она не может иметь конечных моделей.
- Примеры теорий с конечным числом моделей включают теории с одной счетной моделью (ω-категориальные) и теории с конечным числом счетных моделей.
-
Теорема Воута и топологическая гипотеза Высоты
- Теорема Воута утверждает, что если существует не более счетного числа счетных моделей, то существует наименьшая и наибольшая модели, которые различаются, если существуют более одной модели.
- Топологическая гипотеза Воута расширяет гипотезу Воута, утверждая, что если существует непрерывное действие польской группы на польское пространство, то существует либо счетное число орбит, либо континуум орбит.
-
Рекомендации по цитированию
- Статья содержит инструкции по цитированию и форматированию библиографических описаний.
Полный текст статьи: