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 numberscomplete metriccompact subspaceexterior pointlocally compact subspaceslocated setpoints exterior to a set
Complete metric spaces (54E50) Foundations: limits and generalizations, elementary topology of the line (26A03) Other constructive mathematics (03F65) Local compactness, (sigma)-compactness (54D45)
Related Items (2)
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
This page was built for publication: Constructive irrational space