Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces
type: Item
instance of: scholarly article
title: Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces
zbMATH Open document ID: 1329.54007
author: A. J. Fischer
author: Franklin D. Tall
author: Stevo Todorčević
published in: Topology and its Applications
publication date: 2015-11-09T00:00:00Z
review text: 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]\).
Mathematics Subject Classification ID: 54A25
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E57
Mathematics Subject Classification ID: 54A35
Mathematics Subject Classification ID: 54D20
Mathematics Subject Classification ID: 54D30
Mathematics Subject Classification ID: 54D55
zbMATH DE Number: 6506288
zbMATH Keywords: countably tight
zbMATH Keywords: (locally) compact
zbMATH Keywords: \(\sigma\)-discrete
zbMATH Keywords: Souslin tree
reviewed by: K. P. Hart
MaRDI profile type: Publication
full work available at URL: j.topol.2015.09.035
OpenAlex ID: W1829173604
cites work: Q3311275
cites work: Locally nice spaces and Axiom \(R\)
cites work: Q3037421
cites work: Set theory. An introduction to independence proofs
cites work: Locally compact perfectly normal spaces may all be paracompact
cites work: On the hereditary paracompactness of locally compact, hereditarily normal spaces
cites work: Katětov's problem
cites work: Q5673564
cites work: ωι-Sonslin trees under countable support iterations
cites work: Q3914038
cites work: PFA(S)[S]: More Mutually Consistent Topological Consequences of PFA and V = L
cites work: \(\mathrm{PFA}(S)[S]\) and locally compact normal spaces
cites work: Chain-condition methods in topology
cites work: Partition Problems in Topology
cites work: Walks on ordinals and their characteristics
cites work: Locally Compact Normal Spaces in the Constructible Universe
DOI: 10.1016/J.TOPOL.2015.09.035
description: scientific article; zbMATH DE number 6506288