Further Generalizations of Results on Structures of Continuous Functions
- 作者: Amstislavskiy V.1
-
隶属关系:
- A. P. Ershov Institute of Infromatics Systems
- 期: 卷 215, 编号 4 (2016)
- 页面: 421-435
- 栏目: Article
- URL: https://journals.rcsi.science/1072-3374/article/view/237617
- DOI: https://doi.org/10.1007/s10958-016-2848-4
- ID: 237617
如何引用文章
详细
We consider new applications of the generalized interpretation method for studying the decidability of theories of some structures in analysis. We study the algebraic structure of continuous functions over a perfectly normal space and prove the decidability of the theory of this structure. Bibliography: 20 titles.
作者简介
V. Amstislavskiy
A. P. Ershov Institute of Infromatics Systems
编辑信件的主要联系方式.
Email: amvladislav@yandex.ru
俄罗斯联邦, SB RAS 6, pr. Akad. Lavrent’eva, Novosibirsk, 630090