The projective spectrum as a distributive lattice

MaRDI QIDQ5437178zbMATH OpenFDO

Authors Thierry Coquand, Henri Lombardi, Peter Schuster

Publication date 18 January 2008

Full work available at URL https://eudml.org/doc/91720

zbMATH Keywords

point-free topologydistributive latticeprime filterformal pointhomogeneous prime idealgraded commutative ringglueing constructionformal projective Hilbert Nullstellensatz

Mathematics Subject Classification ID

Frames, locales (06D22) Graded rings (13A02) Other constructive mathematics (03F65) Ideals and multiplicative ideal theory in commutative rings (13A15) Structure and representation theory of distributive lattices (06D05)

Recommendations

• A formal proof of the projective Eisenbud-Evans-Storch theorem
• scientific article; zbMATH DE number 3871513
• scientific article; zbMATH DE number 1164962
• Spectral schemes as ringed lattices
• scientific article; zbMATH DE number 3963994

Cites work

• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3550698 (Why is no real title available?)
• scientific article; zbMATH DE number 3554470 (Why is no real title available?)
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• The Geometry of Schemes

Cited in

(8)

• The Jónsson distributivity spectrum
• Spectral schemes as ringed lattices
• A formal proof of the projective Eisenbud-Evans-Storch theorem
• On the representation of measures over bounded lattices
• The basic Zariski topology
• Cut elimination for entailment relations
• Spectra as universal objects in categories of supports
• The Zariski spectrum as a formal geometry

This page was built for publication: The projective spectrum as a distributive lattice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5437178)