The projective spectrum as a distributive lattice

zbMATH Open1131.03035MaRDI QIDQ5437178FDOQ5437178

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)

Cites Work

• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• The Geometry of Schemes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

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

   Recommendations

• A formal proof of the projective Eisenbud-Evans-Storch theorem 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Spectral schemes as ringed lattices 👍 👎
• Title not available (Why is that?) 👍 👎

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)