Email this article Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis
- Authors: Aleksandrova S.A.1
-
Affiliations:
- Novosibirsk State University
- Issue: Vol 59, No 5 (2018)
- Pages: 763-767
- Section: Article
- URL: https://journal-vniispk.ru/0037-4466/article/view/172010
- DOI: https://doi.org/10.1134/S0037446618050026
- ID: 172010
Cite item
Open Access
Access granted
Subscription Access
Abstract
We construct a computable real function not Σ-definable in hereditarily finite superstructures over the extensions with decidable theory of the reals.
About the authors
S. A. Aleksandrova
Novosibirsk State University
Author for correspondence.
Email: svet-ka@eml.ru
Russian Federation, Novosibirsk
Supplementary files
