Abstract
An example is constructed of a constructive uniform constructively
-space with an enumerable fundamental system of encirclements, whose completion is not even a constructively
-space.
Similar content being viewed by others
Literature cited
N. A. Shanin, “Constructive real numbers and constructive functional spaces,” Tr. Mat. Inst. Akad. Nauk SSSR,67, 15–294 (1962).
Phan Dinh Diêu, “Some questions in constructive functional analysis,” Tr. Mat. Inst. Akad. Nauk SSSR,114, 1–228 (1970).
A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1965).
Additional information
Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akad. Nauk SSSR, Vol. 60, pp. 207–208, 1976.
Rights and permissions
About this article
Cite this article
Chernov, V.P. Example of a constructive separable space with an inseparable completion. J Math Sci 14, 1563–1564 (1980). https://doi.org/10.1007/BF01693988
Issue Date:
DOI: https://doi.org/10.1007/BF01693988