|
Сибирский журнал чистой и прикладной математики, 2018, том 18, выпуск 1, страницы 3–10 DOI: https://doi.org/10.17377/PAM.2018.18.1
(Mi vngu459)
|
|
|
|
О $\Sigma$-определимости наследственно конечной и списочной надстроек
С. А. Александрова Новосибирский государственный университет,
ул. Пирогова, 1, Новосибирск, 630090, Россия
DOI:
https://doi.org/10.17377/PAM.2018.18.1
Аннотация:
Показана взаимная $\Sigma$-определимость наследственно конечной надстройки и наследственно конечной списочной надстройки над произвольной моделью.
Ключевые слова:
вычислимость, $\Sigma$-определимость, $\Sigma$-определимая модель, наследственно конечная надстройка, списочная надстройка.
Поступила в редакцию: 08.12.2017
Образец цитирования:
С. А. Александрова, “О $\Sigma$-определимости наследственно конечной и списочной надстроек”, Сиб. журн. чист. и прикл. матем., 18:1 (2018), 3–10; J. Math. Sci., 246:6 (2020), 701–708
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu459 https://www.mathnet.ru/rus/vngu/v18/i1/p3
|
|