Мощность множества счетных моделей универсальных предложений с двумя кванторами
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
Issue
Section
Geometry and mathematical logic