ОБ ОПРЕДЕЛИМОСТИ 1-ТИПОВ НАД МОДЕЛЬЮ УПОРЯДОЧЕННО СТАБИЛЬНОЙ ТЕОРИИ
66 46
Аннотация
В данной статье исследуется стравнительно новый класс теорий — упорядоченно-стабильных. Этот класс является соединением понятий стабильности и слабой о-минимальности и, таким образом, обобщением слабой о-минимальности. Идея введения этого класса заключается в следующем. Известно, что любое сечение в модели о-минимальной теории определяет полный тип. Для слабо о-минимальных теорий се- чение имеет максимум два пополнения до полных типов над моделью. Для квази о минимальных любое сечение имеет самое большее континуум расширений до полных типов.Библиографические ссылки
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.
Загрузки
Как цитировать
Вербовский, В. В. (2009). ОБ ОПРЕДЕЛИМОСТИ 1-ТИПОВ НАД МОДЕЛЬЮ УПОРЯДОЧЕННО СТАБИЛЬНОЙ ТЕОРИИ. Вестник КазНУ. Серия математика, механика, информатика, 62(3), 5–7. извлечено от https://bm.kaznu.kz/index.php/kaznu/article/view/255
Выпуск
Раздел
Алгебра и математическая логика
