Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: All articles in the CJM digital archive with keyword the continuum

  Expand all        Collapse all Results 1 - 2 of 2

1. CJM 2016 (vol 69 pp. 502)

Fischer, Vera; Mejia, Diego Alejandro
Splitting, Bounding, and Almost Disjointness Can Be Quite Different
We prove the consistency of $$ \operatorname{add}(\mathcal{N})\lt \operatorname{cov}(\mathcal{N}) \lt \mathfrak{p}=\mathfrak{s} =\mathfrak{g}\lt \operatorname{add}(\mathcal{M}) = \operatorname{cof}(\mathcal{M}) \lt \mathfrak{a} =\mathfrak{r}=\operatorname{non}(\mathcal{N})=\mathfrak{c} $$ with $\mathrm{ZFC}$, where each of these cardinal invariants assume arbitrary uncountable regular values.

Keywords:cardinal characteristics of the continuum, splitting, bounding number, maximal almost-disjoint families, template forcing iterations, isomorphism-of-names
Categories:03E17, 03E35, 03E40

2. 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, 2017 :