Geodesic
On the lattices of continuous functions
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 15 (2015) no. 1, pp. 3-20

Voir la notice de l'article provenant de la source Math-Net.Ru

We study some new applications of the generalized method of interpretations to prove decidability of the theories of some popular structures in analysis. Earlier we proved decidability of the theory of a real continuous functions lattice by this method. In this work we generalize the lattice of real continuous functions to an algebraic structure of continuous functions over a perfectly normal space. By the generalized method of interpretations we prove decidability of the theory of this structure under some conditions.
Keywords: elementary theory, lattice of continuous functions, decidability of theories, perfectly normal space, generalized method of interpretations. 
@article{VNGU_2015_15_1_a0,
     author = {V. S. Amstislavskiy},
     title = {On the lattices of continuous functions},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {3--20},
     publisher = {mathdoc},
     volume = {15},
     number = {1},
     year = {2015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2015_15_1_a0/}
}
TY  - JOUR
AU  - V. S. Amstislavskiy
TI  - On the lattices of continuous functions
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2015
SP  - 3
EP  - 20
VL  - 15
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VNGU_2015_15_1_a0/
LA  - ru
ID  - VNGU_2015_15_1_a0
ER  - 
%0 Journal Article
%A V. S. Amstislavskiy
%T On the lattices of continuous functions
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2015
%P 3-20
%V 15
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2015_15_1_a0/
%G ru
%F VNGU_2015_15_1_a0
V. S. Amstislavskiy. On the lattices of continuous functions. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 15 (2015) no. 1, pp. 3-20. http://geodesic.mathdoc.fr/item/VNGU_2015_15_1_a0/