Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Compactness notions for an apartness space

Compactness notions for an apartness space 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

Compactness notions for an apartness space

Archive for Mathematical Logic , Volume 51 (6) – Mar 27, 2012

Loading next page...
 
/lp/springer-journals/compactness-notions-for-an-apartness-space-7771WyI530

References (9)

Publisher
Springer Journals
Copyright
Copyright © 2012 by Springer-Verlag
Subject
Mathematics; Algebra; Mathematics, general; Mathematical Logic and Foundations
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s00153-012-0279-6
Publisher site
See Article on Publisher Site

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.

Journal

Archive for Mathematical LogicSpringer Journals

Published: Mar 27, 2012

There are no references for this article.