The Zariski spectrum as a formal geometry

DOI10.1016/j.tcs.2008.06.030zbMath1154.03038OpenAlexW2078012404MaRDI QIDQ949619

Peter M. Schuster

Publication date: 21 October 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.06.030

zbMATH Keywords

local ringuniversal propertyformal topologyconstructivestructure sheafpoint-freepredicativeZariski spectrum

Mathematics Subject Classification ID

Other constructive mathematics (03F65) General commutative ring theory (13A99)

Related Items (5)

Spectral schemes as ringed lattices ⋮ The basic Zariski topology ⋮ A formal proof of the projective Eisenbud-Evans-Storch theorem ⋮ A constructive notion of codimension ⋮ Formal Zariski topology: Positivity and points

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Sheaves in geometry and logic: a first introduction to topos theory
• Rings, fields, and spectra
• Inductively generated formal topologies.
• Some points in formal topology.
• Formal spaces and their effective presentations
• Aspects of general topology in constructive set theory
• Formal Zariski topology: Positivity and points
• PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
• Spatiality for formal topologies
• The Power of the Ultrafilter Theorem
• Wheels on division by zero
• Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
• Nontrivial Uses of Trivial Rings
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Zariski spectrum as a formal geometry