$\Sigma$-definability in hereditarily finite superstructures and computable analysis

S. A. Aleksandrova

Novosibirsk State University, Novosibirsk, Russia

Abstract: We construct a computable real function not $\Sigma$-definable in hereditarily finite superstructures over the extensions with decidable theory of the reals.

Keywords: computability, admissible set, hereditarily finite superstructure, $\Sigma$-definability, computable analysis.

UDC: 510.5

Received: 24.10.2017

DOI: 10.17377/smzh.2018.59.502

 English version: Siberian Mathematical Journal, 2018, 59:5, 763–767

Bibliographic databases:

• 
• 
•