The Axiom of Countable Choice and point-free topology
Colóquio de matemática
CIUL, amphitheatre
1997-04-16 16:00
1997-04-16 17:00
1997-04-16
16:00
..
17:00
by Bernhard Banaschewski (McMaster University, Hamilton, Ontario, Canada)
A discussion of various aspects of the curious fact that the ACC is very close to the condition that coproducts of Lindelöf frames are Lindelöf while its counterpart for compactness is true without any choice principle---which contrasts with the classical result that the Tychonoff Product Theorem is equivalent to the Axiom of Choice.