Further Generalizations of Results on Structures of Continuous Functions
- Autores: Amstislavskiy V.1
-
Afiliações:
- A. P. Ershov Institute of Infromatics Systems
- Edição: Volume 215, Nº 4 (2016)
- Páginas: 421-435
- Seção: Article
- URL: https://journals.rcsi.science/1072-3374/article/view/237617
- DOI: https://doi.org/10.1007/s10958-016-2848-4
- ID: 237617
Citar
Resumo
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.
Palavras-chave
Sobre autores
V. Amstislavskiy
A. P. Ershov Institute of Infromatics Systems
Autor responsável pela correspondência
Email: amvladislav@yandex.ru
Rússia, SB RAS 6, pr. Akad. Lavrent’eva, Novosibirsk, 630090