location:  Publications → journals
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, SDFACategories: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 invariantsCategories: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 continuumCategories:03E05, 03E04, 03E17
 top of page | contact us | privacy | site map |