Мощность множества счетных моделей универсальных предложений с двумя кванторами
50 42
Abstract
Дана классификация универсальных предложений не более чем с двумя кванторами, по которой определяется мощность соответствующего множества счетных моделей.References
[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.
Downloads
How to Cite
Кангужин, А. М. (2011). Мощность множества счетных моделей универсальных предложений с двумя кванторами. Journal of Mathematics, Mechanics and Computer Science, 68(1), 14–16. Retrieved from https://bm.kaznu.kz/index.php/kaznu/article/view/166
Issue
Section
Geometry and mathematical logic
