Compactness notions for an apartness space

Archive for Mathematical Logic 51 (5-6):517-534 (2012)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-012-0279-6

Links

PhilArchive



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

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

Almost new pre-apartness from old.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (8):1009-1015.
A conjunction in closure spaces.Andrzej W. Jankowski - 1984 - Studia Logica 43 (4):341 - 351.
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.
Galois structures.Andrzej W. Jankowski - 1985 - Studia Logica 44 (2):109 - 124.
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.
Religion: from place to placelessness.Yi-fu Tuan - 2009 - Chicago, Ill.: the University of Chicago Press. Edited by Martha A. Strawn.
Disjunctions in closure spaces.Andrzej W. Jankowski - 1985 - Studia Logica 44 (1):11 - 24.
Measurability and degrees of strong compactness.Arthur W. Apter - 1981 - Journal of Symbolic Logic 46 (2):249-254.

Analytics

Added to PP
2013-10-27

Downloads
38 (#416,347)

6 months
7 (#419,552)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Apartness spaces and uniform neighbourhood structures.Douglas S. Bridges - 2016 - Annals of Pure and Applied Logic 167 (9):850-864.

Add more citations

References found in this work

Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.

View all 7 references / Add more references