Tychonoff products of compact spaces in ZF and closed ultrafilters

Mathematical Logic Quarterly 56 (5):474-487 (2010)
  Copy   BIBTEX

Abstract

Let {: i ∈I } be a family of compact spaces and let X be their Tychonoff product. [MATHEMATICAL SCRIPT CAPITAL C] denotes the family of all basic non-trivial closed subsets of X and [MATHEMATICAL SCRIPT CAPITAL C]R denotes the family of all closed subsets H = V × Πmath imageXi of X, where V is a non-trivial closed subset of Πmath imageXi and QH is a finite non-empty subset of I. We show: Every filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C]R extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ if and only if every family H ⊂ [MATHEMATICAL SCRIPT CAPITAL C] with the finite intersection property extends to a maximal [MATHEMATICAL SCRIPT CAPITAL C] family F with the fip. The proposition “if every filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C]R extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ, then X is compact” is not provable in ZF. The statement “for every family {: i ∈ I } of compact spaces, every filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C]R, Y = Πi ∈IYi, extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ” is equivalent to Tychonoff's compactness theorem. The statement “for every family {: i ∈ ω } of compact spaces, every countable filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C]R, X = Πi ∈ωXi, extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ” is equivalent to Tychonoff's compactness theorem restricted to countable families. The countable Axiom of Choice is equivalent to the proposition “for every family {: i ∈ ω } of compact topological spaces, every countable family ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C] with the fip extends to a maximal [MATHEMATICAL SCRIPT CAPITAL C] family ℱ with the fip”

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On completely nonmeasurable unions.Szymon Żeberski - 2007 - Mathematical Logic Quarterly 53 (1):38-42.
Universal functions in partial structures.Maurizio Negri - 1992 - Mathematical Logic Quarterly 38 (1):253-268.
On superstable groups with residual properties.Abderezak Houcine - 2007 - Mathematical Logic Quarterly 53 (1):19-26.
On superstable groups with residual properties.Abderezak Ould Houcine - 2007 - Mathematical Logic Quarterly 53 (1):19-26.
Extending Independent Sets to Bases and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (1):92-98.

Analytics

Added to PP
2013-12-01

Downloads
13 (#1,334,820)

6 months
3 (#1,491,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Consequences of the Axiom of Choice.Paul Howard & Jean E. Rubin - 2005 - Bulletin of Symbolic Logic 11 (1):61-63.
Products of Compact Spaces and the Axiom of Choice.O. De la Cruz, Paul Howard & E. Hall - 2002 - Mathematical Logic Quarterly 48 (4):508-516.
The axiom of choice holds iff maximal closed filters exist.Horst Herrlich - 2003 - Mathematical Logic Quarterly 49 (3):323.

Add more references