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