The basic Zariski topology

DOI10.5802/cml.18zbMath1328.03056OpenAlexW2565105516MaRDI QIDQ887823

Giovanni Sambin, Davide Rinaldi, Peter M. 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

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

Related Items (4)

A universal Krull-Lindenbaum theorem ⋮ Unnamed Item ⋮ Embedding locales and formal topologies into positive topologies ⋮ Cut elimination for entailment relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finitary formal topologies and Stone's representation theorem
• The Zariski spectrum as a formal geometry
• Space of valuations
• Inductively generated formal topologies.
• Some points in formal topology.
• Valuations and Dedekind's Prague theorem
• Formal spaces and their effective presentations
• A constructive notion of codimension
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• 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
• Induction in Algebra: a First Case Study
• A logical approach to abstract algebra
• Spatiality for formal topologies
• The Power of the Ultrafilter Theorem
• Axiom of Choice and Complementation
• Choice Implies Excluded Middle
• Continuous domains as formal spaces
• Convergence in formal topology: a unifying notion
• Real and Ideal in Constructive Mathematics
• Topological representations of distributive lattices and Brouwerian logics

This page was built for publication: The basic Zariski topology