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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
A. Grzegorczyk, “Undecidability of some topological theories,” Fundam. Math. 38, 137–152 (1951).
M. O. Rabin, “Decidable theories” In: Handbook of Mathematical Logic, pp. 595–630, North Holland, Amsterdam etc. (1999).
J. Flum and M. Ziegler, Topological Model Theory, Springer, Berlin etc. (1980).
V. S. Amstislavskiy, “Elementary theories of continuous functions spaces” [in Russian], Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 12, No. 3, 22–34 (2012); English transl.: J. Math. Sci., New York 202, No. 1, 13–24 (2014).
R. I. Soare, Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets, Springer, Berlin (1987).
A. Ehrenfeucht, “Decidability of the theory of linear ordering relation,” Notices Am. Math. Soc. 6, 268–269 (1959).
Yu. L. Ershov, Problems of Decidability and Constructive Models [in Russian], Nauka, Moscow (1980).
Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin, “Elementary theories” [in Russian], Usp. Mat. Nauk 20, No. 4 (124), 37–108 (1965); English transl.: Rus. Mat. Surv. 20, No. 4, 35–105 (1965).
A. I. Kokorin and A. G. Pinus, “Decidability problems of extended theories” [in Russian], Usp. Mat. Nauk 33, No. 2, 49–84 (1978); English transl.: Rus. Mat. Surv. 33, No. 2, 53–96 (1978).
W. Hodges, Model Theory, Cambridge Univ. Press, Cambridge (1993).
C. C. Chang and H. K. Keisler, Model Theory. Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam etc. (1990).
M. Rabin, “A simple method for undecidability proofs and some applications,” Logic Methodology Philos. Sci., Proc. 1964 Internat. Congr, 58–68 (1965).
M. Rabin, “Decidability of second order theories and automata on infinite trees,” Trans. Am. Math. Soc 141, 1–35 (1969).
A. Tarski, A Decision Method for Elementary Algebra and Geometry, University of California Press, Berkeley (1951).
R. Engelking, General Topology, Panstwowe Wydawnictwo Naukowe, Warszawa (1977).
A. J. Ostaszewski, “On countably compact, perfectly normal spaces,” J. Lond. Math. Soc., II Ser. 14 505–516 (1976).
T. Ishiu, “A fine structure construction of a perfectly normal non-real compact space,” Topol. Proc. 30, No. 2, 535–545 (2006).
M. Rosenlicht, Introduction to Analysis, Scott Foresman and Co., Glenview, Illinois (1968).
J. Heinonen, “Nonsmooth calculus,” Bull. Am. Math. Soc. 44 163–232 (2007).
P. S. Alexandrov, Introduction in Set Theory and General Topology [in Russian], Nauka, Moscow (1977).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Vestnik Novosibirskogo Gosudarstvennogo Universiteta: Seriya Matematika, Mekhanika, Informatika 15, No. 1, 2015, pp. 3-20.
Rights and permissions
About this article
Cite this article
Amstislavskiy, V.S. Further Generalizations of Results on Structures of Continuous Functions. J Math Sci 215, 421–435 (2016). https://doi.org/10.1007/s10958-016-2848-4
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-016-2848-4