Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part VII, Tome 60 (1976), pp. 207-208
Citer cet article
V. P. Chernov. Example of a constructive separable space with an inseparable completion. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part VII, Tome 60 (1976), pp. 207-208. http://geodesic.mathdoc.fr/item/ZNSL_1976_60_a15/
@article{ZNSL_1976_60_a15,
author = {V. P. Chernov},
title = {Example of a constructive separable space with an inseparable completion},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {207--208},
year = {1976},
volume = {60},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1976_60_a15/}
}
TY - JOUR
AU - V. P. Chernov
TI - Example of a constructive separable space with an inseparable completion
JO - Zapiski Nauchnykh Seminarov POMI
PY - 1976
SP - 207
EP - 208
VL - 60
UR - http://geodesic.mathdoc.fr/item/ZNSL_1976_60_a15/
LA - ru
ID - ZNSL_1976_60_a15
ER -
%0 Journal Article
%A V. P. Chernov
%T Example of a constructive separable space with an inseparable completion
%J Zapiski Nauchnykh Seminarov POMI
%D 1976
%P 207-208
%V 60
%U http://geodesic.mathdoc.fr/item/ZNSL_1976_60_a15/
%G ru
%F ZNSL_1976_60_a15
An example is constructed of a constructive uniform constructively $\mathscr T_2$-space with an enumerable fundamental system of encirclements, whose completion is not even a constructively $\mathscr T_0$-space.
