PFA and \(\omega\) \(*_ 1\) (Q1103905): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q639715 |
||
Property / reviewed by | |||
Property / reviewed by: Jerry E. Vaughan / rank | |||
Revision as of 03:59, 20 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | PFA and \(\omega\) \(*_ 1\) |
scientific article |
Statements
PFA and \(\omega\) \(*_ 1\) (English)
0 references
1988
0 references
This paper is concerned with properties of the compact space \(\omega\) \(*_ 1=\beta \omega_ 1-\omega_ 1\) (where \(\omega_ 1\) has the discrete topology). The space \(\omega\) \(*_ 1\) is considered as a compactification of its dense subspace of nonuniform ultrafilters: \(SU(\omega_ 1)=\omega\) \(*_ 1-U(\omega_ 1)\), where \(U(\omega_ 1)=\{p\in \omega\) \(*_ 1:(\forall P\in p)(| P| =\aleph_ 1)\}\). Most of the proofs involve set-theoretic concepts such as \(\dag\), the proper forcing axiom (PFA), the thining out principal, and forcing. Some typical results are that under the assumption of \(\dag\), there exists a set \(D\subset SU(\omega_ 1)\), such that \(| D| =\omega_ 1\), and \(U(\omega_ 1)\) is contained in the closure of D, while under PFA, there exists \(p\in U(\omega_ 1)\) such that for every \(D\subset SU(\omega_ 1)\) with \(| D| =\aleph_ 1\), p is not in the closure of D. Another result states that under PFA, if two subsets of \(SU(\omega_ 1)\), each having cardinality \(\omega_ 1\), can be separated by open subsets of \(\omega\) \(*_ 1\), then they can be separated by clopen sets. This result was motivated by an unpublished result of S. Shelah which states: two subsets of \(\omega\) \(*=\beta \omega -\omega\), each having cardinality \(\aleph_ 1\), which can be separated by open sets in \(\omega\) * can be separated by clopen sets.
0 references
club
0 references
Stone-Čech remainders of discrete spaces
0 references
Martin's axiom
0 references
F- space
0 references
strongly zero-dimensional space
0 references
compactification of its dense subspace of nonuniform ultrafilters
0 references
proper forcing axiom
0 references
thining out principal
0 references
forcing
0 references