A predicative completion of a uniform space

, , &
Annals of Pure and Applied Logic 163 (8):975-980 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.12.022

Links

PhilArchive



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

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

The weak König lemma and uniform continuity.Josef Berger - 2008 - Journal of Symbolic Logic 73 (3):933-939.
On constructing completions.Laura Crosilla, Hajime Ishihara & Peter Schuster - 2005 - Journal of Symbolic Logic 70 (3):969-978.
Artistic Collaboration and the Completion of Works of Art.Paisley Nathan Livingston & Carol Archer - 2010 - British Journal of Aesthetics 50 (4):439-455.
Continuous Lattices and Whiteheadian Theory of Space.Thomas Mormann - 1998 - Logic and Logical Philosophy 6:35 - 54.
The Pseudocompactness of [0.1] Is Equivalent to the Uniform Continuity Theorem.Douglas Bridges & Hannes Diener - 2007 - Journal of Symbolic Logic 72 (4):1379 - 1384.
Area, surface, and contour: Psychophysical correlates of three classes of pictorial completion.Birgitta Dresp - 1998 - Behavioral and Brain Sciences 21 (6):755-756.
Investigations of the Concept of Reduction II: Approximative Reduction of Theories with Inaccuracy-Sets: Uniform Structures on Theories, Their Completion and Embedding.Dieter Mayr - 1981 - Erkenntnis 16 (1):109 - 129.
Russell's theory of descriptions vs. the predicative analysis: A reply to Graff.Berit Brogaard - unknown
The uniform boundedness theorem and a boundedness principle.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (8):1057-1061.
Greek Ontology and the 'Is' of Truth.Mohan Matthen - 1983 - Phronesis 28 (2):113 - 135.
A proof–technique in uniform space theory.Douglas Bridges & Luminiţa Vîţă - 2003 - Journal of Symbolic Logic 68 (3):795-802.
Uniform enumeration operations.A. H. Lachlan - 1975 - Journal of Symbolic Logic 40 (3):401-409.
Relationships between constructive, predicative and classical systems of analysis.Solomon Feferman - unknown
Lorentz Invariant State Reduction, and Localization.Gordon N. Fleming - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:112-126.

Analytics

Added to PP
2013-10-27

Downloads
35 (#454,663)

6 months
1 (#1,464,097)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Schuster
University of Leeds

Citations of this work

The uniform boundedness theorem and a boundedness principle.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (8):1057-1061.

Add more citations

References found in this work

Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
Aspects of general topology in constructive set theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
On the collection of points of a formal space.Giovanni Curi - 2006 - Annals of Pure and Applied Logic 137 (1-3):126-146.
Two subcategories of apartness spaces.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (2):132-139.

View all 6 references / Add more references