Spectral schemes as ringed lattices
Journal article, 2009
topology
krull dimension
noetherian modules
points
spaces
Author
Thierry Coquand
University of Gothenburg
Henri Lombardi
Peter Schuster
Annals of Mathematics and Artificial Intelligence
1012-2443 (ISSN) 1573-7470 (eISSN)
Vol. 56 3-4 339-360Subject Categories
Computational Mathematics
Computer Science
DOI
10.1007/s10472-009-9160-7