@MISC{Coquand08constructivelogic, author = {Thierry Coquand}, title = {Constructive Logic in Algebra}, year = {2008} }

Share

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