Corpus ID: 4970114

Choice principles and lift lemmas

@inproceedings{Ern2017ChoicePA,
  title={Choice principles and lift lemmas},
  author={M. Ern{\'e}},
  year={2017}
}
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 various lift lemmas, saying that certain properties of posets are inherited by the free unital semilattices over them. Some of these principles follow not only from UP but also from DC, the Principle of… Expand
2 Citations
Categories of Locally Hypercompact Spaces and Quasicontinuous Posets
  • M. Erné
  • Computer Science, Mathematics
  • Appl. Categorical Struct.
  • 2018

References

SHOWING 1-10 OF 51 REFERENCES
Sequential compactness and the axiom of choice
  • N. Brunner
  • Mathematics, Computer Science
  • Notre Dame J. Formal Log.
  • 1983
On Krull's Separation Lemma
The Axiom of Choice
Theory of relations
Quasicontinuous Domains and the Smyth Powerdomain
Infinite distributive laws versus local connectedness and compactness properties
Choiceless, Pointless, but not Useless: Dualities for Preframes
  • M. Erné
  • Mathematics, Computer Science
  • Appl. Categorical Struct.
  • 2007
Continuous Lattices and Domains
Prime elements from prime ideals
...
1
2
3
4
5
...