On constructive nonseparable spaces

DOI10.1090/TRANS2/100/06MaRDI QIDQ5654027zbMATH OpenOpenAlexFDO

Authors A. O. Slisenko

Publication date 1972

Published in Fourteen Papers on Logic, Geometry, Topology and Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/trans2/100/06

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Proof theory and constructive mathematics (03F99)

This page was built for publication: On constructive nonseparable spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5654027)