Thierry Coquand, Henri Lombardi. A Short Proof for the Krull Dimension of a Polynomial Ring. The American Mathematical Monthly, 112(9):826-829, 2005. [doi]
@article{CoquandL05,
title = {A Short Proof for the Krull Dimension of a Polynomial Ring},
author = {Thierry Coquand and Henri Lombardi},
year = {2005},
url = {http://www.jstor.org/stable/30037606},
researchr = {https://researchr.org/publication/CoquandL05},
cites = {0},
citedby = {0},
journal = {The American Mathematical Monthly},
volume = {112},
number = {9},
pages = {826-829},
}