Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: MSC category 03E05 ( Other combinatorial set theory )

  Expand all        Collapse all Results 1 - 3 of 3

1. CJM Online first

Lambie-Hanson, Chris; Rinot, Assaf
A forcing axiom deciding the generalized Souslin Hypothesis
We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal $\lambda$, if $\lambda^{++}$ is not a Mahlo cardinal in Gödel's constructible universe, then $2^\lambda = \lambda^+$ entails the existence of a $\lambda^+$-complete $\lambda^{++}$-Souslin tree.

Keywords:Souslin tree, square, diamond, sharply dense set, forcing axiom, SDFA
Categories:03E05, 03E35, 03E57

2. 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

3. CJM 2011 (vol 63 pp. 1416)

Shelah, Saharon
MAD Saturated Families and SANE Player
We throw some light on the question: is there a MAD family (a maximal family of infinite subsets of $\mathbb{N}$, the intersection of any two is finite) that is saturated (completely separable \emph{i.e.,} any $X \subseteq \mathbb{N}$ is included in a finite union of members of the family \emph{or} includes a member (and even continuum many members) of the family). We prove that it is hard to prove the consistency of the negation: (i) if $2^{\aleph_0} \lt \aleph_\omega$, then there is such a family; (ii) if there is no such family, then some situation related to pcf holds whose consistency is large (and if ${\mathfrak a}_* \gt \aleph_1$ even unknown); (iii) if, \emph{e.g.,} there is no inner model with measurables, \emph{then} there is such a family.

Keywords:set theory, MAD families, pcf, the continuum
Categories:03E05, 03E04, 03E17

© Canadian Mathematical Society, 2018 :