Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces (Q890080): Difference between revisions
From MaRDI portal
Latest revision as of 01:46, 11 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces |
scientific article |
Statements
Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces (English)
0 references
9 November 2015
0 references
The paper is devoted mainly to a proof, from \(\roman{PFA}(S)[S]\), of the following (technical) statement, denoted~\(\sum\): Assume \(X\)~is compact and countably tight and let \(Y\) be a subset of \(X\) of size~\(\aleph_1\). Also let two sequences, \(\langle V_\alpha:\alpha\in\omega_1\rangle\) and \(\langle W_\alpha:\alpha\in\omega_1\rangle\), of open sets be given such that \(\overline{W_\alpha}\subseteq V_\alpha\), \(V_\alpha\cap Y\) is countable, and \(Y\subseteq\bigcup_\alpha W_\alpha\). Then \(Y\)~is \(\sigma\)-closed-discrete in \(\bigcup_\alpha W_\alpha\). The principle \(\roman{PFA}(S)\) is a version of the Proper Forcing Axiom obtained by considering (only) proper partial orders that preserve one fixed Souslin tree \(S\) and \(\roman{PFA}(S)[S]\) refers to any model obtained by forcing with \(S\) over a model of~\(\roman{PFA}(S)\). The statement \(\sum\) underlies many proofs of results on the structure of countably tight spaces. The paper also neatly surveys these results and some further background on \(\roman{PFA}(S)[S]\).
0 references
countably tight
0 references
(locally) compact
0 references
\(\sigma\)-discrete
0 references
Souslin tree
0 references
0 references
0 references