Email this article Further Generalizations of Results on Structures of Continuous Functions
- Authors: Amstislavskiy V.S.1
-
Affiliations:
- A. P. Ershov Institute of Infromatics Systems
- Issue: Vol 215, No 4 (2016)
- Pages: 421-435
- Section: Article
- URL: https://ogarev-online.ru/1072-3374/article/view/237617
- DOI: https://doi.org/10.1007/s10958-016-2848-4
- ID: 237617
Cite item
Open Access
Access granted
Subscription Access
Abstract
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.
About the authors
V. S. Amstislavskiy
A. P. Ershov Institute of Infromatics Systems
Author for correspondence.
Email: amvladislav@yandex.ru
Russian Federation, SB RAS 6, pr. Akad. Lavrent’eva, Novosibirsk, 630090
Supplementary files
