Известия Иркутского государственного университета. Серия «Математика»
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Известия Иркутского государственного университета. Серия Математика:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Известия Иркутского государственного университета. Серия «Математика», 2024, том 48, страницы 129–144
DOI: https://doi.org/10.26516/1997-7670.2024.48.129
(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-минимальных теорий. Отмечены все возможности степеней жесткости для счетных линейных порядков.
Ключевые слова: определимое замыкание, семантическая жесткость, синтаксическая жесткость, степень жесткости, упорядоченная теория.
Финансовая поддержка Номер гранта
Министерство образования и науки Республики Казахстан AP19674850
Министерство науки и высшего образования Российской Федерации FWNF-2022-0012
Работа выполнена при финансовой поддержке Комитетом науки Министерства науки и высшего образования Республики Казахстан, грант № AP19674850, а также в рамках государственного задания Института математики им. С.Л. Соболева, проект № FWNF-2022-0012.
Поступила в редакцию: 28.07.2023
Исправленный вариант: 22.02.2024
Принята в печать: 27.02.2024
Тип публикации: Статья
УДК: 510.67
MSC: 03C50, 03C30, 03C64
Язык публикации: английский
Образец цитирования: Beibut Sh. Kulpeshov, Sergey V. Sudoplatov, “Variations of rigidity for ordered theories”, Известия Иркутского государственного университета. Серия Математика, 48 (2024), 129–144
Цитирование в формате AMSBIB
\RBibitem{KulSud24}
\by Beibut~Sh.~Kulpeshov, Sergey~V.~Sudoplatov
\paper Variations of rigidity for ordered theories
\jour Известия Иркутского государственного университета. Серия Математика
\yr 2024
\vol 48
\pages 129--144
\mathnet{http://mi.mathnet.ru/iigum569}
\crossref{https://doi.org/10.26516/1997-7670.2024.48.129}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/iigum569
  • https://www.mathnet.ru/rus/iigum/v48/p129
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:44
    PDF полного текста:22
    Список литературы:15
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024