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

DOI10.1016/J.APAL.2005.05.017MaRDI QIDQ2575764zbMATH OpenOpenAlexFDO

Authors Giulia Battilotti, Giovanni Sambin

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

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

Recommendations

• scientific article; zbMATH DE number 19490
• Presenting locale pullback via directed complete posets
• Convergence in formal topology: a unifying notion
• Pretopologies and completeness proofs
• Localic sup-lattices and tropological systems.

Cites work

• An extension of the Galois theory of Grothendieck
• Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
• 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 4108721 (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 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 1302065 (Why is no real title available?)
• Inductive families
• Inductively generated formal topologies.
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• Pretopologies and completeness proofs
• Quantales, observational logic and process semantics
• Sheaves in geometry and logic: a first introduction to topos theory

Cited in

(19)

• A topos for algebraic quantum theory
• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• Some points in formal topology.
• Embedding locales and formal topologies into positive topologies
• Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• Heyting-valued interpretations for constructive set theory
• Formal Zariski topology: Positivity and points
• A minimalist foundation at work
• scientific article; zbMATH DE number 19490 (Why is no real title available?)
• Convergence in formal topology: a unifying notion
• A realizability semantics for inductive formal topologies, Church's thesis and axiom of choice
• Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
• Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?
• A topological counterpart of well-founded trees in dependent type theory
• Rough sets vs topological operator and its applications
• A coverage construction of the reals and the irrationals
• The basic Zariski topology
• Finitary formal topologies and Stone's representation theorem

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

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