Constructive irrational space
From MaRDI portal
Publication:1104321
DOI10.1007/BF01258659zbMath0647.03054MaRDI QIDQ1104321
Publication date: 1988
Published in: Manuscripta Mathematica (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/155288
irrational numbers; complete metric; compact subspace; exterior point; locally compact subspaces; located set; points exterior to a set
54E50: Complete metric spaces
26A03: Foundations: limits and generalizations, elementary topology of the line
03F65: Other constructive mathematics
54D45: Local compactness, (sigma)-compactness
Related Items
Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Étude constructive de problèmes de topologie pour les réels irrationnels
Cites Work