电邮这篇文章 Σ-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
如何引用文章
开放存取
##reader.subscriptionAccessGranted##
订阅存取
详细
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
补充文件
