С. А. Александрова, “О $\Sigma$-определимости наследственно конечной и списочной надстроек”, Сиб. журн. чист. и прикл. матем., 2018, том 18, выпуск 1,страницы 3

О $\Sigma$-определимости наследственно конечной и списочной надстроек

С. А. Александрова

Новосибирский государственный университет, ул. Пирогова, 1, Новосибирск, 630090, Россия

Аннотация: Показана взаимная $\Sigma$-определимость наследственно конечной надстройки и наследственно конечной списочной надстройки над произвольной моделью.

Ключевые слова: вычислимость, $\Sigma$-определимость, $\Sigma$-определимая модель, наследственно конечная надстройка, списочная надстройка.

УДК: 510.5

Поступила в редакцию: 08.12.2017

DOI: 10.17377/PAM.2018.18.1