Constructive Logic in Algebra (2008)
by
Thierry Coquand
BibTeX
@MISC{Coquand08constructivelogic,
author = {Thierry Coquand},
title = {Constructive Logic in Algebra},
year = {2008}
}
OpenURL
Abstract
This document contains two examples of the use of distributive lattices as spaces in commutative algebra. The first example is a simple proof of Forster’s Theorem about the number of generators over a ring of finite Krull dimension. The second example is the beginning of the theory of Prüfer Domain, which has to be thought of as a non Noetherian version of the theory of Dedekind







