Expand all
Collapse all
|
Results 1 - 1 of 1 |
1. CJM 2012 (vol 64 pp. 1182)
|
PFA$(S)[S]$: More Mutually Consistent Topological Consequences of $PFA$ and $V=L$ Extending the work of Larson and Todorcevic,
we show there
is a model of set theory in which normal spaces are collectionwise
Hausdorff if they are either first countable or locally compact, and
yet there are no first countable $L$-spaces or compact
$S$-spaces. The model is one of the form PFA$(S)[S]$, where $S$
is a coherent Souslin tree.
Keywords:PFA$(S)[S]$, proper forcing, coherent Souslin tree, locally compact, normal, collectionwise Hausdorff, supercompact cardinal Categories:54A35, 54D15, 54D20, 54D45, 03E35, 03E57, 03E65 |