Constructive dimension theory
Compositio Mathematica, Volume 33 (1976) no. 2, p. 161-177
@article{CM_1976__33_2_161_0,
     author = {Richman, F. and Berg, G. and Cheng, H. and Mines, R.},
     title = {Constructive dimension theory},
     journal = {Compositio Mathematica},
     publisher = {Noordhoff International Publishing},
     volume = {33},
     number = {2},
     year = {1976},
     pages = {161-177},
     zbl = {0337.55008},
     mrnumber = {428304},
     language = {en},
     url = {http://www.numdam.org/item/CM_1976__33_2_161_0}
}
Richman, F.; Berg, G.; Cheng, H.; Mines, R. Constructive dimension theory. Compositio Mathematica, Volume 33 (1976) no. 2, pp. 161-177. http://www.numdam.org/item/CM_1976__33_2_161_0/

[1] P.S. Aleksandrov: Combinatorial topology, Vol. 1. Graylock Press, 1956. | MR 76324 | Zbl 0097.15903

[2] G. Berg, W. Julian, R. Mines and F. Richman: The constructive equivalence of covering and inductive dimensions, Gen. Top. and Appl. (to appear). | MR 482694 | Zbl 0359.54025

[3] E. Bishop: Foundations of constructive analysis. McGraw-Hill, 1967. | MR 221878 | Zbl 0183.01503

[4] L.E.J. Brouwer: Über den natürlichen Dimensionsbegriff. J. Reine Angew. Math. 142 (1913) 146-152. | JFM 44.0555.01

[5] L.E.J. Brouwer: Intuitionistische Einführung des Dimensionsbegriffes. Proc. Akad. Amsterdam 29 (1926) 855-864. | JFM 52.0589.02

[6] W. Hurewicz and H. Wallman: Dimension Theory. Princeton Univ. Press, 1948. | MR 6493 | Zbl 0036.12501

[7] J.R. Isbell: Uniform spaces. A.M.S. Math. Surveys 12 (1964). | Zbl 0124.15601

[8] H. Lebesgue: Sur la non applicabilite deux domaines appartenant a des espaces de n et n + p dimensions. Math. Ann. 70 (1911) 166-168. | JFM 42.0419.02 | MR 1511616