Positivity relations on a locale
From MaRDI portal
Publication:290642
DOI10.1016/J.APAL.2016.04.009zbMATH Open1402.03090OpenAlexW2344290698MaRDI QIDQ290642FDOQ290642
Authors: Francesco Ciraulo, Steven Vickers
Publication date: 3 June 2016
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.2016.04.009
Recommendations
- On Positive Relational Calculi
- Local operator multipliers and positivity
- A Note on Positive Equivalence Relations
- On positive operators
- scientific article; zbMATH DE number 738993
- On the meaning of positivity relations for regular formal spaces
- scientific article; zbMATH DE number 5252230
- scientific article; zbMATH DE number 897253
- NOTIONS OF POSITIVITY AND THE OZSVÁTH–SZABÓ CONCORDANCE INVARIANT
- scientific article; zbMATH DE number 1583096
Frames, locales (06D22) Complete lattices, completions (06B23) Intuitionistic mathematics (03F55) Topological lattices, etc. (topological aspects) (54H12)
Cites Work
- Some points in formal topology.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Quantales, observational logic and process semantics
- Constructive points of powerlocales
- Sublocales in formal topology
- Inductively generated formal topologies.
- Localic sup-lattices and tropological systems.
- Constructive theory of the lower power locale
- A constructive Galois connection between closure and interior
- Title not available (Why is that?)
- On the meaning of positivity relations for regular formal spaces
- Title not available (Why is that?)
Cited In (8)
- On Small Types in Univalent Foundations
- Sublocales in formal topology
- On Positive Relational Calculi
- Embedding locales and formal topologies into positive topologies
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
- On the meaning of positivity relations for regular formal spaces
- Relative formal topology: the binary positivity predicate comes first
- Title not available (Why is that?)
This page was built for publication: Positivity relations on a locale
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q290642)