RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Иркутского государственного университета. Серия «Математика» // Архив

Известия Иркутского государственного университета. Серия Математика, 2024, том 48, страницы 129–144 (Mi iigum569)

Алгебро-логические методы в информатике и искусственный интеллект

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-минимальных теорий. Отмечены все возможности степеней жесткости для счетных линейных порядков.

Ключевые слова: определимое замыкание, семантическая жесткость, синтаксическая жесткость, степень жесткости, упорядоченная теория.

УДК: 510.67

MSC: 03C50, 03C30, 03C64

Поступила в редакцию: 28.07.2023
Исправленный вариант: 22.02.2024
Принята в печать: 27.02.2024

Язык публикации: английский

DOI: 10.26516/1997-7670.2024.48.129



© МИАН, 2024