Аннотация:
Доказывается теорема об униформизации для $\Sigma$-предикатов и существование универсальной функции для $\Sigma$-определимых функций в наследственно конечной списочной надстройке над полем действительных чисел с экспонентой.
Ключевые слова:$\Sigma$-определимость, теорема об униформизации, наследственно конечная списочная надстройка.
Полный текст:
PDF файл (175 kB)
