PFA(S)[S]: More Mutually Consistent Topological Consequences of PFA and V = L
Canadian journal of mathematics, Tome 64 (2012) no. 5, pp. 1182-1200
Voir la notice de l'article provenant de la source Cambridge
Extending the work of Larson and Todorcevic, we show that 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 $\text{PFA}\left( S \right)\left[ S \right]$ , where $S$ is a coherent Souslin tree.
Mots-clés :
54A35, 54D15, 54D20, 54D45, 03E35, 03E57, 03E65, PFA(S)[S], proper forcing, coherent Souslin tree, locally compact, normal, collectionwise Hausdorff, supercompact cardinal
Tall, Franklin D. PFA(S)[S]: More Mutually Consistent Topological Consequences of PFA and V = L. Canadian journal of mathematics, Tome 64 (2012) no. 5, pp. 1182-1200. doi: 10.4153/CJM-2012-010-0
@article{10_4153_CJM_2012_010_0,
author = {Tall, Franklin D.},
title = {PFA(S)[S]: {More} {Mutually} {Consistent} {Topological} {Consequences} of {PFA} and {V} = {L}},
journal = {Canadian journal of mathematics},
pages = {1182--1200},
year = {2012},
volume = {64},
number = {5},
doi = {10.4153/CJM-2012-010-0},
url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-2012-010-0/}
}
TY - JOUR AU - Tall, Franklin D. TI - PFA(S)[S]: More Mutually Consistent Topological Consequences of PFA and V = L JO - Canadian journal of mathematics PY - 2012 SP - 1182 EP - 1200 VL - 64 IS - 5 UR - http://geodesic.mathdoc.fr/articles/10.4153/CJM-2012-010-0/ DO - 10.4153/CJM-2012-010-0 ID - 10_4153_CJM_2012_010_0 ER -
%0 Journal Article %A Tall, Franklin D. %T PFA(S)[S]: More Mutually Consistent Topological Consequences of PFA and V = L %J Canadian journal of mathematics %D 2012 %P 1182-1200 %V 64 %N 5 %U http://geodesic.mathdoc.fr/articles/10.4153/CJM-2012-010-0/ %R 10.4153/CJM-2012-010-0 %F 10_4153_CJM_2012_010_0
Cité par Sources :