Мощность множества счетных моделей универсальных предложений с двумя кванторами
86 86
Аннотация
Дана классификация универсальных предложений не более чем с двумя кванторами, по которой определяется мощность соответствующего множества счетных моделей.Библиографические ссылки
[1] Hodges W., Model theory, Camdridge Univ. Press, 1993.
[2] Мальцев А.И., Универсально–аксиоматизируемые подклассы локально–конечных классов моделей, Сиб. мат. ж., 1967., T.8, №5., c. 1005-1014.
[3] Marker D., Model Theory: An Introduction. – Berlin: Springer – Verlag, 2002.
[2] Мальцев А.И., Универсально–аксиоматизируемые подклассы локально–конечных классов моделей, Сиб. мат. ж., 1967., T.8, №5., c. 1005-1014.
[3] Marker D., Model Theory: An Introduction. – Berlin: Springer – Verlag, 2002.
Загрузки
Как цитировать
Кангужин, А. М. (2011). Мощность множества счетных моделей универсальных предложений с двумя кванторами. Вестник КазНУ. Серия математика, механика, информатика, 68(1), 14–16. извлечено от https://bm.kaznu.kz/index.php/kaznu/article/view/166
Выпуск
Раздел
Геометрия и математическая логика
