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

More information

Created

10/10/2017