Berg, G.; Julian, W.; Mines, R.; Richman, F. The constructive equivalence of covering and inductive dimensions. (English) Zbl 0359.54025 General Topology Appl. 7, 99-108 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 54F45 Dimension theory in general topology 03F99 Proof theory and constructive mathematics PDF BibTeX XML Cite \textit{G. Berg} et al., General Topology Appl. 7, 99--108 (1977; Zbl 0359.54025) Full Text: DOI