On complete and almost complete constructive metric spaces

DOI10.3103/S0027132225700408MaRDI QIDQ6850581zbMATH OpenFDO

Authors Marat Kh. Faizrahmanov

Publication date 2 March 2026

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

Cantor spacecomplete metric spaceconstructive metric spaceconstructive real

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx) Model theory (03Cxx) Mathematical logic and foundations (03-XX)

This page was built for publication: On complete and almost complete constructive metric spaces

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