Weihrauch Complexity for Elementary Embeddings into Countable Saturated Models Научная публикация
| Журнал |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||
|---|---|---|---|
| Вых. Данные | Год: 2026, Том: 67, Номер: 3, Страницы: 701-715 Страниц : 15 DOI: 10.1134/s0037446626030134 | ||
| Ключевые слова | Weihrauch reducibility, elementary embedding, countable saturated model | ||
| Авторы |
|
||
| Организации |
|
Информация о финансировании (1)
| 1 | Министерство науки и высшего образования РФ | FWNF-2026-0032 |
Реферат:
Foraclass of models K, westudythe Weihrauch complexity of the following model-theoretic problem: finding an elementary embedding of an arbitrary model M∈Kinto a countable saturated model N such that N∈Kand N is elementarily equivalent to M. We prove that for the classes of linear orders, Boolean algebras, and abelian groups, this problem is strongly Weihrauch equivalent to the problem lim (that is, the problem of computing the limit in Baire space). We isolate some natural classes K consisting of equivalence structures such that the corresponding problem for K has Weihrauch degree strictly less than the degree of lim.
Библиографическая ссылка:
Bazhenov N.A.
, Marchuk M.I.
Weihrauch Complexity for Elementary Embeddings into Countable Saturated Models
Siberian Mathematical Journal. 2026. V.67. N3. P.701-715. DOI: 10.1134/s0037446626030134 WOS Scopus РИНЦ OpenAlex
Weihrauch Complexity for Elementary Embeddings into Countable Saturated Models
Siberian Mathematical Journal. 2026. V.67. N3. P.701-715. DOI: 10.1134/s0037446626030134 WOS Scopus РИНЦ OpenAlex
Даты:
| Поступила в редакцию: | 18 июл. 2025 г. |
| Принята к публикации: | 1 янв. 2026 г. |
| Опубликована в печати: | 25 июн. 2026 г. |
| Опубликована online: | 25 июн. 2026 г. |
Идентификаторы БД:
| ≡ Web of science: | WOS:001805258500012 |
| ≡ Scopus: | 2-s2.0-105042956967 |
| ≡ РИНЦ: | 91538056 |
| ≡ OpenAlex: | W7165893369 |