Spectral schemes as ringed lattices

DOI10.1007/s10472-009-9160-7zbMath1254.03114MaRDI QIDQ2379681

Henri Lombardi, Thierry Coquand, Peter M. Schuster

Publication date: 19 March 2010

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-009-9160-7

zbMATH Keywords

valuations; graded ring; point-free topology; universal properties; spectral schemes; nonsingular curve; projective spectrum; Grothendieck scheme

Mathematics Subject Classification ID

03F65: Other constructive mathematics

14A15: Schemes and morphisms

06D99: Distributive lattices

Related Items

Revisiting Zariski main theorem from a constructive point of view

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the Serre, Bass and Forster-Swan theorems
• Generating non-Noetherian modules constructively
• The Zariski spectrum as a formal geometry
• Space of valuations
• A course in constructive algebra
• On a theorem of Kronecker about algebraic varieties
• Some points in formal topology.
• Krull dimension, Nullstellensätze and dynamical evaluation
• Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.)
• Formal spaces and their effective presentations
• Suslin's algorithms for reduction of unimodular rows
• Seminormal rings (following Thierry Coquand)
• Making the use of maximal ideals constructive
• A nilregular element property
• Finite type projective modules, crossed linear maps and generalized inverses. (Modules projectifs de type fini, applications linéaires croisées et inverses généralisés)
• Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
• Formal Zariski topology: Positivity and points
• Strongly Noetherian rings and constructive ideal theory
• A Short Proof for the Krull Dimension of a Polynomial Ring
• A logical approach to abstract algebra
• Spatiality for formal topologies
• Dimension de Heitmann des treillis distributifs et des anneaux commutatifs
• CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
• The Geometry of Schemes
• Continuous domains as formal spaces
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Lazy bases: a minimalist constructive theory of Noetherian rings
• On seminormality