An elementary characterization of Krull dimension
Book chapter, 2005
Author
Thierry Coquand
University of Gothenburg
Henri Lombardi
Marie-Francoise Roy
From Sets and Types to Topology and Analysis. Towards Practicable Foundations for Constructive Mathematics. (L. Crosilla, P. Schuster, eds.). Oxford University Press,
239-244
Subject Categories
Algebra and Logic
Mathematics