Элементарная вложимость относительно сводимости по Вайрауху Full article
| Journal |
Математика и теоретические компьютерные науки
, E-ISSN: 2949-3919 |
||
|---|---|---|---|
| Output data | Year: 2024, Volume: 2, Number: 4, Pages: 4-23 Pages count : 20 DOI: 10.26907/2949-3919.2024.4.4-23 | ||
| Tags | сводимость по Вайрауху, элементарное вложение, простая модель, счетно-насыщенная модель. | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0011 |
Abstract:
Изучается сложность по Вайрауху для проблем нахождения элементарных вложений в контексте классической теории моделей. Доказано, что проблема нахождения элементарного вложения из простой модели M в произвольную модель N (элементарно эквивалентную M) является сильно эквивалентной по Вайрауху известной проблеме lim, которая находит предел последовательности в пространстве Бэра. Установлено, что проблема нахождения элементарного вложения из произвольной модели M в счетно-насыщенную модель N также сильно эквивалентна по Вайрауху проблеме lim.
Cite:
Баженов Н.А.
, Марчук М.И.
, Фьори-Каронес М.
Элементарная вложимость относительно сводимости по Вайрауху
Математика и теоретические компьютерные науки. 2024. Т.2. №4. С.4-23. DOI: 10.26907/2949-3919.2024.4.4-23 РИНЦ OpenAlex
Элементарная вложимость относительно сводимости по Вайрауху
Математика и теоретические компьютерные науки. 2024. Т.2. №4. С.4-23. DOI: 10.26907/2949-3919.2024.4.4-23 РИНЦ OpenAlex
Dates:
| Submitted: | Sep 30, 2024 |
| Accepted: | Dec 10, 2024 |
| Published print: | Dec 26, 2024 |
| Published online: | Dec 26, 2024 |
Identifiers:
| Elibrary: | 81979587 |
| OpenAlex: | W4406813561 |
Citing:
Пока нет цитирований