Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis

Сибирский математический журнал

S. A. Aleksandrova¹ 

[1] Novosibirsk State University

关键词: computability;    admissible set;    hereditarily finite superstructure;    Σ-definability;    computable analysis;   

DOI  :  10.1134/S0037446618050026

学科分类：数学（综合）

来源: Izdatel stvo Instituta Matematiki Rossiiskoi Akademii Nauk

【 摘 要 】

We construct a computable real function not Σ-definable in hereditarily finite superstructures over the extensions with decidable theory of the reals.

【 授权许可】

CC BY