- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On a Generalization of Equilogical Spaces
Logica Universalis 12 (1-2):129-140 (2018)
Abstract
We use the theory of triposes to prove that every locale H is the set of truth values of a complete and co-complete quasi-topos into which the category of topological spaces embeds and the topos of sheaves over H reflectively embeds.Other Versions
No versions found
My notes
Similar books and articles
Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
Sheaves over Heyting lattices.Andrzej W. Jankowski & Marek Zawadowski - 1985 - Studia Logica 44 (3):237 - 256.
Ultrasheaves and Double Negation.Jonas Eliasson & Steve Awodey - 2004 - Notre Dame Journal of Formal Logic 45 (4):235-245.
The Weak Choice Principle WISC may Fail in the Category of Sets.David Michael Roberts - 2015 - Studia Logica 103 (5):1005-1017.
Encoding Complete Metric Structures by Classical Structures.Nathanael Leedom Ackerman - 2020 - Logica Universalis 14 (4):421-459.
A Categorial Semantic Representation of Quantum Event Structures.Elias Zafiris & Vassilios Karakostas - 2013 - Foundations of Physics 43 (9):1090-1123.
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Topological inductive definitions.Giovanni Curi - 2012 - Annals of Pure and Applied Logic 163 (11):1471-1483.
Structuring Co-constructive Logic for Proofs and Refutations.James Trafford - 2016 - Logica Universalis 10 (1):67-97.
Analytics
Added to PP
2018-04-10
Downloads
29 (#812,446)
6 months
2 (#1,294,541)
2018-04-10
Downloads
29 (#812,446)
6 months
2 (#1,294,541)
Historical graph of downloads
Citations of this work
A characterization of those categories whose internal logic is Hilbert's ε-calculus.Fabio Pasquali - 2019 - Annals of Pure and Applied Logic 170 (4):446-464.
References found in this work
Quotient Completion for the Foundation of Constructive Mathematics.Maria Emilia Maietti & Giuseppe Rosolini - 2013 - Logica Universalis 7 (3):371-402.
Relating Quotient Completions via Categorical Logic.Giuseppe Rosolini & Maria Emilia Maietti - 2016 - In Peter Schuster & Dieter Probst, Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 229-250.
A Categorical Interpretation of the Intuitionistic, Typed, First Order Logic with Hilbert’s $${\varepsilon}$$ ε -Terms.Fabio Pasquali - 2016 - Logica Universalis 10 (4):407-418.
Triposes, q-toposes and toposes.Jonas Frey - 2015 - Annals of Pure and Applied Logic 166 (2):232-259.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-8567d8d854-f747c dc2