Мощность множества счетных моделей универсальных предложений с двумя кванторами
Аннотация
Дана классификация универсальных предложений не более чем с двумя кванторами, по которой определяется мощность соответствующего множества счетных моделей.Библиографиялық сілтемелер
[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
Шығарылым
Бөлім
Геометрия және математикалық логика