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

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

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



Сиб. электрон. матем. изв.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Сибирские электронные математические известия, 2024, том 21, выпуск 1, страницы 164–177
DOI: https://doi.org/doi.org/10.33048/semi.2024.21.011
(Mi semr1674)
 

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

Свойства понятий свободы и независимости для гиперграфов моделей вполне о-минимальных теорий с немаксимальным числом счетных моделей

Б. Ш. Кулпешовabc, С. В. Судоплатовda

a Novosibirsk State Technical University, K. Marx avenue, 20, 630073, Novosibirsk, Russia
b Institute of Mathematics and Mathematical Modeling, Shevchenko street, 28 050010, Almaty, Kazakhstan
c Kazakh British Technical University, Tole bi street, 59, 050000, Almaty, Kazakhstan
d Sobolev Institute of Mathematics, Academician Koptyug avenue, 4, 630090, Novosibirsk, Russia
Аннотация: We study properties of the concepts of freedom and independence for hypergraphs of models of a quite o-minimal theory with few countable models. Conditions for freedom of sets of realizations of isolated and non-isolated types are characterized in terms of the convexity rank. In terms of weak orthogonality, characterizations of the relative independence of sets of realizations of isolated and non-isolated types of convexity rank 1 are obtained. Conditions for freedom and independence of equivalence classes are established, indicating the finite rank of convexity of a non-algebraic isolated type of a given theory. In terms of equivalence classes, the conditions for the relative freedom of isolated and non-isolated types are characterized. In terms of weak orthogonality, characterizations of the relative independence of sets of realizations of isolated and non-isolated types over given equivalence relations are obtained. The transfer of the property of relative freedom of types under the action of definable bijections is proved. It is shown that for the specified conditions the non-maximality of the number of countable models of the theory is essential.
Ключевые слова: hypergraph of models, quite o-minimality, free set, independent sets.
Финансовая поддержка Номер гранта
Министерство образования и науки Республики Казахстан BR20281002
АР19674850
Министерство науки и высшего образования Российской Федерации FWNF-2022-0012
Работа выполнена при финансовой поддержке Комитета науки Министерства науки и высшего образования Республики Казахстан (гранты BR20281002 и АР19674850), а также в рамках государственного задания Института математики им. С.Л. Соболева, проект № FWNF-2022-0012.
Поступила 15 октября 2023 г., опубликована 28 февраля 2024 г.
Тип публикации: Статья
УДК: 510.67
Образец цитирования: Б. Ш. Кулпешов, С. В. Судоплатов, “Свойства понятий свободы и независимости для гиперграфов моделей вполне о-минимальных теорий с немаксимальным числом счетных моделей”, Сиб. электрон. матем. изв., 21:1 (2024), 164–177
Цитирование в формате AMSBIB
\RBibitem{KulSud24}
\by Б.~Ш.~Кулпешов, С.~В.~Судоплатов
\paper Свойства понятий свободы и~независимости для~гиперграфов моделей вполне о-минимальных теорий с~немаксимальным числом счетных моделей
\jour Сиб. электрон. матем. изв.
\yr 2024
\vol 21
\issue 1
\pages 164--177
\mathnet{http://mi.mathnet.ru/semr1674}
\crossref{https://doi.org/doi.org/10.33048/semi.2024.21.011}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1674
  • https://www.mathnet.ru/rus/semr/v21/i1/p164
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024