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://journals.rcsi.science/1072-3374/article/view/237617
- DOI: https://doi.org/10.1007/s10958-016-2848-4
- ID: 237617
Cite item
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