Quotient topologies in constructive set theory and type theory

Annals of Pure and Applied Logic 141 (1):257-265 (2006)

Abstract
The standard construction of quotient spaces in topology uses full separation and power sets. We show how to make this construction using only the predicative methods available in constructive type theory and constructive set theory
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2005.11.005
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: 39,711
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

The Strength of Some Martin-Löf Type Theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
Constructive Set Theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
Inaccessible Set Axioms May Have Little Consistency Strength.L. Crosilla & M. Rathjen - 2002 - Annals of Pure and Applied Logic 115 (1-3):33-70.

View all 7 references / Add more references

Citations of this work BETA

Quasi-Apartness and Neighbourhood Spaces.Hajime Ishihara, Ray Mines, Peter Schuster & Luminiţa Vîţă - 2006 - Annals of Pure and Applied Logic 141 (1):296-306.
Relating Bishopʼs Function Spaces to Neighbourhood Spaces.Hajime Ishihara - 2013 - Annals of Pure and Applied Logic 164 (4):482-490.

Add more citations

Similar books and articles

The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
Intuitionistic Choice and Classical Logic.Thierry Coquand & Erik Palmgren - 2000 - Archive for Mathematical Logic 39 (1):53-74.
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Realizing Mahlo Set Theory in Type Theory.Michael Rathjen - 2003 - Archive for Mathematical Logic 42 (1):89-101.
The Friedman‐Translation for Martin‐Löf's Type Theory.Erik Palmgren - 1995 - Mathematical Logic Quarterly 41 (3):314-326.
The Strength of Some Martin-Löf Type Theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.

Analytics

Added to PP index
2013-12-31

Total views
10 ( #660,385 of 2,328,397 )

Recent downloads (6 months)
7 ( #224,317 of 2,328,397 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature