Spectral schemes as ringed lattices
From MaRDI portal
Publication:2379681
DOI10.1007/s10472-009-9160-7zbMath1254.03114MaRDI QIDQ2379681
Peter M. Schuster, Thierry Coquand, Henri Lombardi
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
valuations; graded ring; point-free topology; universal properties; spectral schemes; nonsingular curve; projective spectrum; Grothendieck scheme
Related Items
Un anneau de Prüfer, Spectra as universal objects in categories of supports, Revisiting Zariski main theorem from a constructive point of view, On the representation of measures over bounded lattices, Hochster duality in derived categories and point-free reconstruction of schemes
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
