Formal Zariski topology: Positivity and points

DOI10.1016/J.APAL.2005.05.026zbMATH Open1088.03050OpenAlexW1981339143MaRDI QIDQ2575775FDOQ2575775

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

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

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)

Cites Work

• Title not available (Why is that?)
• Prime Ideal Structure in Commutative Rings
• Constructivism in mathematics. An introduction. Volume I
• Sheaves in geometry and logic: a first introduction to topos theory
• Constructive mathematics: a foundation for computable analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some points in formal topology.
• Formal spaces and their effective presentations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal topologies on the set of first-order formulae
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Reticulated rings
• Rings, fields, and spectra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Axiom of Choice and Complementation
• Constructive domain theory as a branch of intuitionistic pointfree topology
• Inductively generated formal topologies.
• Continuous domains as formal spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
• The Power of the Ultrafilter Theorem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Zariski spectrum as a formal geometry
• A constructive proof of the Heine-Borel covering theorem for formal reals
• Title not available (Why is that?)
• The problem of the formalization of constructive topology
• Choice Implies Excluded Middle
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• A weak countable choice principle
• Title not available (Why is that?)
• Title not available (Why is that?)
• Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
• Title not available (Why is that?)
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (13)

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

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)