Elementary Theories of Continuous Functions Spaces
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 12 (2012) no. 3, pp. 22-34
Voir la notice de l'article provenant de la source Math-Net.Ru
Method of generalized interpretations with its applicability for the proving of theories decidability was studied. By this method the decidability of the continuous functions theory from $\mathbb{R}$ to $\mathbb{R}$ lattice and from $\mathbb{R}^n$ to $\mathbb{R}$ lattice has been proven. The undecidability of theory of continuous functions structure with additional unary predicate which distinguishes constants has been proven as well. This study demonstrated that the new method may be considered as a powerful tool for establishing the decidability of elementary theories.
Keywords:
elementary theory, decidability of theories, reducibility to theory, generalized method of interpretations, lattice of continuous functions.
@article{VNGU_2012_12_3_a2,
author = {V. S. Amstislavskiy},
title = {Elementary {Theories} of {Continuous} {Functions} {Spaces}},
journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
pages = {22--34},
publisher = {mathdoc},
volume = {12},
number = {3},
year = {2012},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VNGU_2012_12_3_a2/}
}
V. S. Amstislavskiy. Elementary Theories of Continuous Functions Spaces. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 12 (2012) no. 3, pp. 22-34. http://geodesic.mathdoc.fr/item/VNGU_2012_12_3_a2/