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

Authors
John L. Bell
University of Western Ontario
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
Keywords Modalities  Precover  Elementary Topos
Categories (categorize this paper)
DOI 10.1002/malq.19960420124
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,268
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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

Add more references

Citations of this work BETA

Add more citations

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.
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 index
2013-12-01

Total views
9 ( #848,483 of 2,325,382 )

Recent downloads (6 months)
1 ( #667,459 of 2,325,382 )

How can I increase my downloads?

Downloads

My notes