ОБ ОПРЕДЕЛИМОСТИ 1-ТИПОВ НАД МОДЕЛЬЮ УПОРЯДОЧЕННО СТАБИЛЬНОЙ ТЕОРИИ

Авторы

  • В В Вербовский Институт проблем информатики и управления МОН РК, Алматы

Аннотация

В данной статье исследуется стравнительно новый класс теорий — упорядоченно-стабильных. Этот класс является соединением понятий стабильности и слабой о-минимальности и, таким образом, обобщением слабой о-минимальности. Идея введения этого класса заключается в следующем. Известно, что любое сечение в модели о-минимальной теории определяет полный тип. Для слабо о-минимальных теорий се- чение имеет максимум два пополнения до полных типов над моделью. Для квази о минимальных любое сечение имеет самое большее континуум расширений до полных типов.

Библиографические ссылки

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.

Загрузки

Выпуск

Раздел

Алгебра и математическая логика