|
$\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.
Received: 24.10.2017
Citation:
S. A. Aleksandrova, “$\Sigma$-definability in hereditarily finite superstructures and computable analysis”, Sibirsk. Mat. Zh., 59:5 (2018), 970–975; Siberian Math. J., 59:5 (2018), 763–767
Linking options:
https://www.mathnet.ru/eng/smj3022 https://www.mathnet.ru/eng/smj/v59/i5/p970
|
|