Literature cited
G. S. Tseitin, Studies in Constructive Analysis (Constructive Real Numbers and Pointwise-Defined Functions),” Author's abstract of doctoral dissertation, Leningrad (1968).
N. A. Shanin, “Constructive real numbers and constructive function spaces,” Trudy Matem. Inst. AN SSSR,67, 15–294 (1962).
G. S. Tseitin, I. D. Zaslavskii, and N. A. Shanin, “Peculiarities of constructive mathematical analysis,” Internat. Congr. Mathematicians, Moscow, 1966, Abstracts of Invited Papers, Moscow (1966), pp. 171–176.
E. Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York (1967).
N. A. Shanin, “On the constructive interpretation of mathematical ideas,” Trudy Matem. Inst. AN SSSR,52, 226–311 (1958).
Fan' Din' Zieu, “Constructive locally convex linear topological spaces,” Dokl. Akad. Nauk SSSR,162, No. 4, 766–769 (1965).
Fan' Din' Zieu, “Closed and open sets in constructive topological spaces,” Trudy Matem. Inst. AN SSSR,93, 250–256 (1967).
N. Bourbaki, Topologie Generale, Chap. 1: Structures Topologiques; Chap. 2: Structures Uniformes, Paris (1961).
I. D. Zaslavskii, “Certain properties of constructive real numbers and constructive functions,” Trudy Matem. Inst. AN SSSR,67, 385–457 (1967).
A. Robinson, Nonstandard Analysis, North Holland Publ. Co., Amsterdam (1965).
D. Lacombe, “Les ensembles récursivement ouvert ou fermés, et leurs applications á l'analyse récursive,” Compt. Rend.,245, No. 13, 1040–1043 (1957).
Additional information
The results of this article were reported at the Leningrad Seminar on Constructive Mathematics on October 1, 1970.
Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Institute im. V. A. Steklova Akademii Nauk SSSR, Vol. 20, pp. 67–79, 1971.
Rights and permissions
About this article
Cite this article
Lifshits, V.A. Investigation of constructive functions by the method of fillings. J Math Sci 1, 41–47 (1973). https://doi.org/10.1007/BF01117468
Issue Date:
DOI: https://doi.org/10.1007/BF01117468