Мақаланы E-mail арқылы жіберу Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis
- Авторлар: Aleksandrova S.A.1
-
Мекемелер:
- Novosibirsk State University
- Шығарылым: Том 59, № 5 (2018)
- Беттер: 763-767
- Бөлім: Article
- URL: https://journals.rcsi.science/0037-4466/article/view/172010
- DOI: https://doi.org/10.1134/S0037446618050026
- ID: 172010
Дәйексөз келтіру
Ашық рұқсат
Рұқсат берілді
Тек жазылушылар үшін
Аннотация
We construct a computable real function not Σ-definable in hereditarily finite superstructures over the extensions with decidable theory of the reals.
Авторлар туралы
S. Aleksandrova
Novosibirsk State University
Хат алмасуға жауапты Автор.
Email: svet-ka@eml.ru
Ресей, Novosibirsk
Қосымша файлдар
