|
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya Matematika, Mekhanika, Informatika, 2015, Volume 15, Issue 1, Pages 3–20
(Mi vngu358)
|
|
|
|
On the lattices of continuous functions
V. S. Amstislavskiy A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Abstract:
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.
Received: 03.06.2014
Citation:
V. S. Amstislavskiy, “On the lattices of continuous functions”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 15:1 (2015), 3–20; J. Math. Sci., 215:4 (2016), 421–435
Linking options:
https://www.mathnet.ru/eng/vngu358 https://www.mathnet.ru/eng/vngu/v15/i1/p3
|
Statistics & downloads: |
Abstract page: | 278 | Full-text PDF : | 78 | References: | 65 | First page: | 5 |
|