Formal Zariski topology: Positivity and points

DOI10.1016/J.APAL.2005.05.026MaRDI QIDQ2575775zbMATHOpenAlexFDO

Authors Peter Schuster

Publication date 6 December 2005

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2005.05.026

zbMATH Keywords

commutative ringformal topologyZariski spectrumformal pointcoinductive generationpositivity relation

Mathematics Subject Classification ID

Frames, locales (06D22) Other constructive mathematics (03F65) Topological spaces and generalizations (closure spaces, etc.) (54A05)

Recommendations

• The Zariski spectrum as a formal geometry
• scientific article; zbMATH DE number 202572
• The basic Zariski topology
• On the meaning of positivity relations for regular formal spaces
• Zariski topology

Cites work

• scientific article; zbMATH DE number 3829911 (Why is no real title available?)
• scientific article; zbMATH DE number 3843889 (Why is no real title available?)
• scientific article; zbMATH DE number 3853067 (Why is no real title available?)
• scientific article; zbMATH DE number 3853324 (Why is no real title available?)
• 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 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 3737780 (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 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 3550698 (Why is no real title available?)
• scientific article; zbMATH DE number 3554470 (Why is no real title available?)
• scientific article; zbMATH DE number 1301730 (Why is no real title available?)
• scientific article; zbMATH DE number 1302065 (Why is no real title available?)
• scientific article; zbMATH DE number 2003151 (Why is no real title available?)
• scientific article; zbMATH DE number 1531375 (Why is no real title available?)
• scientific article; zbMATH DE number 194764 (Why is no real title available?)
• scientific article; zbMATH DE number 2084947 (Why is no real title available?)
• scientific article; zbMATH DE number 2085163 (Why is no real title available?)
• scientific article; zbMATH DE number 937390 (Why is no real title available?)
• scientific article; zbMATH DE number 1420793 (Why is no real title available?)
• scientific article; zbMATH DE number 1420795 (Why is no real title available?)
• scientific article; zbMATH DE number 1420837 (Why is no real title available?)
• scientific article; zbMATH DE number 3430850 (Why is no real title available?)
• A constructive proof of the Heine-Borel covering theorem for formal reals
• A weak countable choice principle
• Axiom of Choice and Complementation
• Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
• Choice Implies Excluded Middle
• Constructive domain theory as a branch of intuitionistic pointfree topology
• Constructive mathematics: a foundation for computable analysis
• Constructivism in mathematics. An introduction. Volume I
• Continuous domains as formal spaces
• Formal spaces and their effective presentations
• Formal topologies on the set of first-order formulae
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Inductively generated formal topologies.
• PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• Prime Ideal Structure in Commutative Rings
• Reticulated rings
• Rings, fields, and spectra
• Sheaves in geometry and logic: a first introduction to topos theory
• Some points in formal topology.
• The Power of the Ultrafilter Theorem
• The Zariski spectrum as a formal geometry
• The problem of the formalization of constructive topology
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories

Cited in

(13)

• A universal Krull-Lindenbaum theorem
• scientific article; zbMATH DE number 202572 (Why is no real title available?)
• Finitary formal topologies and Stone's representation theorem
• A universal algorithm for Krull's theorem
• A constructive notion of codimension
• Spectral schemes as ringed lattices
• On the collection of points of a formal space
• The basic Zariski topology
• Embedding locales and formal topologies into positive topologies
• Convergence in formal topology: a unifying notion
• Radical theory of Scott-open filters
• A constructive investigation of satisfiability
• The Zariski spectrum as a formal geometry

This page was built for publication: Formal Zariski topology: Positivity and points

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