Choice principles and lift lemmas
We show that in ZF set theory without choice, the Ultrafilter Principle (UP) is equivalent to several compactness theorems for Alexandroff discrete spaces and to Rudin's Lemma, a basic tool in topology and the theory of quasicontinuous domains. Important consequences of Rudin's Lemma are v...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Shahid Beheshti University
2017-01-01
|
| Series: | Categories and General Algebraic Structures with Applications |
| Subjects: | |
| Online Access: | http://www.cgasa.ir/article_40448.html |