|
Алгебро-логические методы в информатике и искусственный интеллект
Variations of rigidity for ordered theories
[Вариации жесткости для упорядоченных теорий]
Beibut Sh. Kulpeshovabc, Sergey V. Sudoplatovcd a Kazakh British Technical University, Almaty, Kazakhstan
b Institute of Mathematics and Mathematical Modeling, Almaty, Kazakhstan
c Novosibirsk State Technical University, Novosibirsk, Russian Federation
d Sobolev Institute of Mathematics, Novosibirsk, Russian Federation
Аннотация:
Утверждается, что одними из важных характеристик структур являются степени семантической и синтаксической жесткости, а также индексы жесткости, показывающие насколько данная структура отличается от семантически жесткой структуры, т.е. структуры с одноэлементной группой автоморфизмов, а также от синтаксически жесткой структуры, т. е. структуры, накрываемой определимым замыканием пустого множества. Вопросы описания степеней и индексов жесткости представляют интерес как в общем контексте, так и применительно к упорядоченным теориям и их моделям. Изучены возможности семантической и синтаксической жесткости упорядоченных теорий, т. е. жесткости по отношению к группе автоморфизмов и по отношению к определимому замыканию. Описаны значения индексов и степеней семантической и синтаксической жесткости для вполне упорядоченных множеств, для дискретных, плотных и смешанных порядков, а также для счетных моделей $\aleph_0$-категоричных слабо o-минимальных теорий. Отмечены все возможности степеней жесткости для счетных линейных порядков.
Ключевые слова:
определимое замыкание, семантическая жесткость, синтаксическая жесткость, степень жесткости, упорядоченная теория.
Поступила в редакцию: 28.07.2023 Исправленный вариант: 22.02.2024 Принята в печать: 27.02.2024
Образец цитирования:
Beibut Sh. Kulpeshov, Sergey V. Sudoplatov, “Variations of rigidity for ordered theories”, Известия Иркутского государственного университета. Серия Математика, 48 (2024), 129–144
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iigum569 https://www.mathnet.ru/rus/iigum/v48/p129
|
Статистика просмотров: |
Страница аннотации: | 44 | PDF полного текста: | 22 | Список литературы: | 15 |
|