The basic Zariski topology

DOI10.5802/CML.18MaRDI QIDQ887823zbMATH OpenOpenAlexFDO

Authors Davide Rinaldi, Giovanni Sambin, Peter Schuster

Publication date 3 November 2015

Published in Confluentes Mathematici (Search for Journal in Brave)

Full work available at URL https://doi.org/10.5802/cml.18

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Other constructive mathematics (03F65) General commutative ring theory (13A99) Spectra in general topology (54B35)

Recommendations

• Formal Zariski topology: Positivity and points
• The Zariski topology for distributive lattices
• The Zariski spectrum as a formal geometry
• Zariski subspace topologies on ideals
• Zariski topology

Cites work

• A constructive notion of codimension
• A logical approach to abstract algebra
• Axiom of Choice and Complementation
• Choice Implies Excluded Middle
• Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises
• Continuous domains as formal spaces
• Convergence in formal topology: a unifying notion
• Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
• Finitary formal topologies and Stone's representation theorem
• Formal spaces and their effective presentations
• Formal Zariski topology: Positivity and points
• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 3550698 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 1420795 (Why is no real title available?)
• Induction in algebra: a first case study
• Inductively generated formal topologies.
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• Real and ideal in constructive mathematics
• Reducibility, a constructive dual of spatiality
• Some points in formal topology.
• Space of valuations
• Spatiality for formal topologies
• The Power of the Ultrafilter Theorem
• The projective spectrum as a distributive lattice
• The Zariski spectrum as a formal geometry
• Topological representations of distributive lattices and Brouwerian logics
• Valuations and Dedekind's Prague theorem

Cited in

(8)

• Embedding locales and formal topologies into positive topologies
• Cut elimination for entailment relations
• Formal Zariski topology: Positivity and points
• A universal Krull-Lindenbaum theorem
• Reducibility, a constructive dual of spatiality
• On the upper dual Zariski topology
• On divisor topology of commutative rings
• The Zariski spectrum as a formal geometry

This page was built for publication: The basic Zariski topology

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