ОБ ОПРЕДЕЛИМОСТИ 1-ТИПОВ НАД МОДЕЛЬЮ УПОРЯДОЧЕННО СТАБИЛЬНОЙ ТЕОРИИ
Abstract
В данной статье исследуется стравнительно новый класс теорий — упорядоченно-стабильных. Этот класс является соединением понятий стабильности и слабой о-минимальности и, таким образом, обобщением слабой о-минимальности. Идея введения этого класса заключается в следующем. Известно, что любое сечение в модели о-минимальной теории определяет полный тип. Для слабо о-минимальных теорий се- чение имеет максимум два пополнения до полных типов над моделью. Для квази о минимальных любое сечение имеет самое большее континуум расширений до полных типов.References
1. Вербовский В. В. О зависимости упорядоченно-стабильных теорий. – Вестник инженерной академии, Алматы, №1, 2008. С. 18–25.
2. Вербовский В. В. Критерий упорядоченной стабильности зависимой теории. – Вестник КарГУ, №2, 2008. С. 16–23.
3. Shelah S. Classification Theory and the Number of Non-Isomorphic Models. – North- Holland – Amsterdam · New York · Oxford, 1978. – 544 P.
4. Poizat B. Cours de thèorie des modéles. – Lyon, Nur al-Mantiq Wal-Ma'rifah, 1985. –585 P.
2. Вербовский В. В. Критерий упорядоченной стабильности зависимой теории. – Вестник КарГУ, №2, 2008. С. 16–23.
3. Shelah S. Classification Theory and the Number of Non-Isomorphic Models. – North- Holland – Amsterdam · New York · Oxford, 1978. – 544 P.
4. Poizat B. Cours de thèorie des modéles. – Lyon, Nur al-Mantiq Wal-Ma'rifah, 1985. –585 P.
Downloads
Issue
Section
Algebra and Mathematical Logic
