Institut Mittag-Leffler The Royal Swedish Academy of Sciences

Reports Institut Mittag-Leffler
ISSN: 1103-467X
ISRN: IML-R

Krull's Principal Ideal Theorem
Source file as TeX DVI Data Postscript Document Portable Document Format

Preprint series: Mathematical Logic - 2000/2001, No. 30

MSC 2000

13L05 Applications of logic to commutative algebra

03F55 Intuitionistic mathematics

06D05 Structure and representation theory

Keywords: Krull dimension, Krull's Principal Ideal Theorem, Constructive Mathematics