An elementary characterization of Krull dimension
Kapitel i bok, 2005
Författare
Thierry Coquand
Göteborgs universitet
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
Ämneskategorier
Algebra och logik
Matematik