Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: MSC category 54D15 ( Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) )

  Expand all        Collapse all Results 1 - 1 of 1

1. CJM 2012 (vol 64 pp. 1182)

Tall, Franklin D.
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

© Canadian Mathematical Society, 2014 :