Geometric spaces with no points
From MaRDI portal
Publication:3145952
DOI10.4115/JLA.2010.2.6zbMath1285.03071arXiv1510.00988OpenAlexW2036845170MaRDI QIDQ3145952
Publication date: 17 December 2012
Published in: Journal of Logic and Analysis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.00988
Constructive and recursive analysis (03F60) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Ordered topological linear spaces, vector lattices (46A40) Ordered normed spaces (46B40)
Related Items (1)
This page was built for publication: Geometric spaces with no points