no. 2
Constructive dimension theory
Compositio Mathematica, Tome 33 (1976) no. 2, pp. 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},
     pages = {161--177},
     publisher = {Noordhoff International Publishing},
     volume = {33},
     number = {2},
     year = {1976},
     mrnumber = {428304},
     zbl = {0337.55008},
     language = {en},
     url = {http://www.numdam.org/item/CM_1976__33_2_161_0/}
}
TY  - JOUR
AU  - Richman, F.
AU  - Berg, G.
AU  - Cheng, H.
AU  - Mines, R.
TI  - Constructive dimension theory
JO  - Compositio Mathematica
PY  - 1976
SP  - 161
EP  - 177
VL  - 33
IS  - 2
PB  - Noordhoff International Publishing
UR  - http://www.numdam.org/item/CM_1976__33_2_161_0/
LA  - en
ID  - CM_1976__33_2_161_0
ER  - 
%0 Journal Article
%A Richman, F.
%A Berg, G.
%A Cheng, H.
%A Mines, R.
%T Constructive dimension theory
%J Compositio Mathematica
%D 1976
%P 161-177
%V 33
%N 2
%I Noordhoff International Publishing
%U http://www.numdam.org/item/CM_1976__33_2_161_0/
%G en
%F CM_1976__33_2_161_0
Richman, F.; Berg, G.; Cheng, H.; Mines, R. Constructive dimension theory. Compositio Mathematica, Tome 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 | Zbl

[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 | Zbl

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

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

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

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

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

[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 | MR