Archive for Mathematical Logic 51 (5-6):517-534 (2012)
| Abstract |
Two new notions of compactness, each classically equivalent to the standard classical one of sequential compactness, for apartness spaces are examined within Bishop-style constructive mathematics
|
| Keywords | Constructive Apartness Uniform Precompact |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s00153-012-0279-6 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
View all 7 references / Add more references
Citations of this work BETA
Apartness Spaces and Uniform Neighbourhood Structures.Douglas S. Bridges - 2016 - Annals of Pure and Applied Logic 167 (9):850-864.
Similar books and articles
Almost New Pre-Apartness From Old.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (8):1009-1015.
Actions of Non-Compact and Non-Locally Compact Polish Groups.Sławomir Solecki - 2000 - Journal of Symbolic Logic 65 (4):1881-1894.
Notions of Compactness for Special Subsets of ℝ I and Some Weak Forms of the Axiom of Choice.Marianne Morillon - 2010 - Journal of Symbolic Logic 75 (1):255-268.
Inverse Topological Systems and Compactness in Abstract Model Theory.Daniele Mundici - 1986 - Journal of Symbolic Logic 51 (3):785-794.
Compactness of Loeb Spaces.Renling Jin & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (4):1371-1392.
Minimally Generated Abstract Logics.Steffen Lewitzka & Andreas B. M. Brunner - 2009 - Logica Universalis 3 (2):219-241.
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.
Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem.Itamar Pitowsky - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):177-194.
Measurability and Degrees of Strong Compactness.Arthur W. Apter - 1981 - Journal of Symbolic Logic 46 (2):249-254.
Analytics
Added to PP index
2013-10-27
Total views
28 ( #410,478 of 2,517,928 )
Recent downloads (6 months)
1 ( #409,045 of 2,517,928 )
2013-10-27
Total views
28 ( #410,478 of 2,517,928 )
Recent downloads (6 months)
1 ( #409,045 of 2,517,928 )
How can I increase my downloads?
Downloads
