Элементарная вложимость относительно сводимости по Вайрауху | Sciact - Система учета научной деятельности ИМ СО РАН

Элементарная вложимость относительно сводимости по Вайрауху Научная публикация

Журнал

Математика и теоретические компьютерные науки
, E-ISSN: 2949-3919

Вых. Данные

Год: 2024, Том: 2, Номер: 4, Страницы: 4-23 Страниц : 20 DOI: 10.26907/2949-3919.2024.4.4-23

Ключевые слова

сводимость по Вайрауху, элементарное вложение, простая модель, счетно-насыщенная модель.

Авторы

Баженов Н.А. ¹ , Марчук М.И. ¹ , Фьори-Каронес М. ¹

Организации

1	Институт математики им. С.Л.Соболева СО РАН

Информация о финансировании (1)

Институт математики им. С.Л. Соболева СО РАН

FWNF-2022-0011

Изучается сложность по Вайрауху для проблем нахождения элементарных вложений в контексте классической теории моделей. Доказано, что проблема нахождения элементарного вложения из простой модели M в произвольную модель N (элементарно эквивалентную M) является сильно эквивалентной по Вайрауху известной проблеме lim, которая находит предел последовательности в пространстве Бэра. Установлено, что проблема нахождения элементарного вложения из произвольной модели M в счетно-насыщенную модель N также сильно эквивалентна по Вайрауху проблеме lim.

Баженов Н.А. , Марчук М.И. , Фьори-Каронес М.
Элементарная вложимость относительно сводимости по Вайрауху
Математика и теоретические компьютерные науки. 2024. Т.2. №4. С.4-23. DOI: 10.26907/2949-3919.2024.4.4-23 РИНЦ OpenAlex

Поступила в редакцию:	30 сент. 2024 г.
Принята к публикации:	10 дек. 2024 г.
Опубликована в печати:	26 дек. 2024 г.
Опубликована online:	26 дек. 2024 г.

РИНЦ:	81979587
OpenAlex:	W4406813561

Пока нет цитирований