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