CMS/SMC
Canadian Mathematical Society
www.cms.math.ca
Canadian Mathematical Society
  location:  Publicationsjournals
Publications        
Search results

Search: MSC category 03E65 ( Other hypotheses and axioms )

  Expand all        Collapse all Results 1 - 2 of 2

1. CJM 2012 (vol 64 pp. 1378)

Raghavan, Dilip; Steprāns, Juris
On Weakly Tight Families
Using ideas from Shelah's recent proof that a completely separable maximal almost disjoint family exists when $\mathfrak{c} \lt {\aleph}_{\omega}$, we construct a weakly tight family under the hypothesis $\mathfrak{s} \leq \mathfrak{b} \lt {\aleph}_{\omega}$. The case when $\mathfrak{s} \lt \mathfrak{b}$ is handled in $\mathrm{ZFC}$ and does not require $\mathfrak{b} \lt {\aleph}_{\omega}$, while an additional PCF type hypothesis, which holds when $\mathfrak{b} \lt {\aleph}_{\omega}$ is used to treat the case $\mathfrak{s} = \mathfrak{b}$. The notion of a weakly tight family is a natural weakening of the well studied notion of a Cohen indestructible maximal almost disjoint family. It was introduced by Hrušák and García Ferreira, who applied it to the Katétov order on almost disjoint families.

Keywords:maximal almost disjoint family, cardinal invariants
Categories:03E17, 03E15, 03E35, 03E40, 03E05, 03E50, 03E65

2. 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 : https://cms.math.ca/