СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Александрова С. А. О $\Sigma $-определимости в наследственно конечных надстройках и вычислимом анализе // Том 59 (2018), Номер 5, стр. 970–975
Построена вычислимая вещественная функция, не
$\Sigma$-определимая в наследственно конечных надстройках над
расширениями поля действительных чисел с разрешимой теорией.
© Сибирский Математический Журнал, 2003-2006