Topological games and products I
Let be a completely distributive lattice and C a topological construct; a process is given in this paper to obtain a topological construct , called the tower extension of (indexed by ). This process contains the constructions of probabilistic topological spaces, probabilistic pretopological spaces, probabilistic pseudotopological spaces, limit tower spaces, pretopological approach spaces and pseudotopological approach spaces, etc, as special cases. It is proved that this process has a lot...
A refined common generalization of known theorems (Arhangel’skii, Michael, Popov and Rančin) on the Fréchetness of products is proved. A new characterization, in terms of products, of strongly Fréchet topologies is provided.
Let X be an infinite set, and (X) the Boolean algebra of subsets of X. We consider the following statements: BPI(X): Every proper filter of (X) can be extended to an ultrafilter. UF(X): (X) has a free ultrafilter. We will show in ZF (i.e., Zermelo-Fraenkel set theory without the Axiom of Choice) that the following four statements are equivalent: (i) BPI(ω). (ii) The Tychonoff product , where 2 is the discrete space 0,1, is compact. (iii) The Tychonoff product is compact. (iv) In a Boolean algebra...