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.

Bibliographische Detailangaben

Veröffentlicht in:	Archive for mathematical logic 2012-08, Vol.51 (5-6), p.517-534
1. Verfasser:	Bridges, Douglas S.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra Archives Construction standards Equivalence Logic Mathematical analysis Mathematical logic Mathematical Logic and Foundations Mathematics Mathematics and Statistics Set theory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!