On constructive nonseparable spaces

DOI10.1090/TRANS2/100/06zbMATH Open0243.02028OpenAlexW4205894591MaRDI QIDQ5654027FDOQ5654027

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)