|
Алгебра и логика, 2011, том 50, номер 3, страницы 303–325
(Mi al488)
|
|
|
|
Эта публикация цитируется в 11 научных статьях (всего в 12 статьях)
Упорядоченно стабильные теории
Б. С. Байжановa, В. В. Вербовскийb a Институт математики, информатики и механики МОН РК, г. Алма-Ата, КАЗАХСТАН
b Институт проблем информатики и управления МОН РК, г. Алма-Ата, КАЗАХСТАН
Аннотация:
Развитая техника, созданная для исследования стабильных теорий (М. Морли, С. Шелах), применяется для изучения класса теорий с определимым линейным порядком. Вводится понятие упорядоченно стабильной теории, которое обобщает понятия $o$-минимальности, слабой и квази-$o$-минимальности. Доказывается, что упорядоченно стабильные теории являются зависимыми, но ими не исчерпывается класс зависимых теорий с определимым линейным порядком; любой линейный порядок упорядоченно суперстабилен.
Ключевые слова:
упорядоченно стабильная теория, зависимая теория, выпукло полный 1-тип.
Поступило: 18.03.2010
Образец цитирования:
Б. С. Байжанов, В. В. Вербовский, “Упорядоченно стабильные теории”, Алгебра и логика, 50:3 (2011), 303–325; Algebra and Logic, 50:3 (2011), 211–225
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al488 https://www.mathnet.ru/rus/al/v50/i3/p303
|
Статистика просмотров: |
Страница аннотации: | 448 | PDF полного текста: | 130 | Список литературы: | 74 | Первая страница: | 11 |
|