Pretopologies and a uniform presentation of sup-lattices, quantales and frames

DOI10.1016/j.apal.2005.05.017zbMath1077.03036OpenAlexW2093461960MaRDI QIDQ2575764

Giovanni Sambin, Giulia Battilotti

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.017

zbMATH Keywords

Formal topologyInfinitary preordersLocale theoryPredicative mathematicsPresentation of frames by generators and relationsPresentation of quantalesPresentation of suplatticesPretopologies

Mathematics Subject Classification ID

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

Related Items (16)

Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics ⋮ Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice ⋮ A Minimalist Foundation at Work ⋮ A coverage construction of the reals and the irrationals ⋮ The basic Zariski topology ⋮ Dynamics in Foundations: What Does It Mean in the Practice of Mathematics? ⋮ Unnamed Item ⋮ Some points in formal topology. ⋮ Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies ⋮ Finitary formal topologies and Stone's representation theorem ⋮ Convergence in formal topology: a unifying notion ⋮ Embedding locales and formal topologies into positive topologies ⋮ A topos for algebraic quantum theory ⋮ Pretopologies and a uniform presentation of sup-lattices, quantales and frames ⋮ Heyting-valued interpretations for constructive set theory ⋮ Formal Zariski topology: Positivity and points

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• Inductive families
• Inductively generated formal topologies.
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• An extension of the Galois theory of Grothendieck
• Quantales, observational logic and process semantics
• Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
• Pretopologies and completeness proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Pretopologies and a uniform presentation of sup-lattices, quantales and frames