Мощность множества счетных моделей универсальных предложений с двумя кванторами

Authors

  • А М Кангужин Казахский национальный университет имени аль-Фараби

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.

Downloads