A Short Proof for the Krull Dimension of a Polynomial Ring

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]

Abstract

Abstract is missing.