Annals of Pure and Applied Logic 163 (8):975-980 (2012)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/j.apal.2011.12.022 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
The Type Theoretic Interpretation of Constructive Set Theory.Peter Aczel, Angus Macintyre, Leszek Pacholski & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):313-314.
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
Citations of this work BETA
The Uniform Boundedness Theorem and a Boundedness Principle.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (8):1057-1061.
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.
A Proof–Technique in Uniform Space Theory.Douglas Bridges & Luminiţa Vîţă - 2003 - Journal of Symbolic Logic 68 (3):795-802.
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 index
2013-10-27
Total views
28 ( #410,524 of 2,518,149 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,149 )
2013-10-27
Total views
28 ( #410,524 of 2,518,149 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,149 )
How can I increase my downloads?
Downloads
