|
О $\Sigma$-определимости наследственно конечной и списочной надстроек
С. А. Александрова Новосибирский государственный университет,
ул. Пирогова, 1, Новосибирск, 630090, Россия
Аннотация:
Показана взаимная $\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
|
Статистика просмотров: |
Страница аннотации: | 237 | PDF полного текста: | 35 | Список литературы: | 31 | Первая страница: | 17 |
|