Precovers, Modalities and Universal Closure Operators in a Topos

&
Mathematical Logic Quarterly 42 (1):289-299 (1996)
  Copy   BIBTEX

Abstract

In this paper we develop the notion of formal precover in a topos by defining a relation between elements and sets in a local set theory. We show that such relations are equivalent to modalities and to universal closure operators. Finally we prove that these relations are well characterized by a convenient restriction to a particular set

Categories

Keywords

Reprint years

DOI

10.1002/malq.19960420124

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Modalności zdaniowe.Jan Woleński - 2004 - Roczniki Filozoficzne 52 (2):429-438.
God, Modalities, and Conceptualism.Amy Karofsky - 2003 - Philosophy and Theology 15 (2):257-271.
What do Freyd’s Toposes Classify?Peter Johnstone - 2013 - Logica Universalis 7 (3):335-340.
The Price of Universality.Edith Hemaspaandra - 1996 - Notre Dame Journal of Formal Logic 37 (2):174-203.
Structuring the universe of universal logic.Vladimir L. Vasyukov - 2007 - Logica Universalis 1 (2):277-294.
Categories, toposes and sets.J. L. Bell - 1982 - Synthese 51 (3):293 - 337.
Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity.C. J. Isham & J. Butterfield - 2000 - Foundations of Physics 30 (10):1707-1735.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
Ancient Persian Empire: Through Arsitotle Notions of Topos and Logos.Mostafa Younesie - manuscript
The bounded fragment and hybrid logic with polyadic modalities.Ian Hodkinson - 2010 - Review of Symbolic Logic 3 (2):279-286.
Iterated Modalities, Meaning and A Priori Knowledge.Dominic Gregory - 2011 - Philosophers' Imprint 11.
Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
Operators in the paradox of the knower.Patrick Grim - 1993 - Synthese 94 (3):409 - 428.

Analytics

Added to PP
2013-12-01

Downloads
17 (#843,162)

6 months
7 (#425,192)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

Citations of this work

Add more citations

References found in this work

Toposes and Local Set Theories. An Introduction.J. L. Bell - 1990 - Journal of Symbolic Logic 55 (2):886-887.

Add more references