Hostname: page-component-6766d58669-h8lrw Total loading time: 0 Render date: 2026-05-15T10:11:02.861Z Has data issue: false hasContentIssue false

MAD Saturated Families and SANE Player

Published online by Cambridge University Press:  20 November 2018

Saharon Shelah*
Affiliation:
Einstein Institute of Mathematics, Edmond J. Safra Campus, Givat Ram, The Hebrew University of Jerusalem, Jerusalem, 91904, Israel, and Department of Mathematics, Hill Center - Busch Campus, Rutgers, The State University of New Jersey, Pis- cataway, NJ 08854-8019, U.S.A. email: shelah@math.huji.ac.il
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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 i.e., any $X\,\subseteq \,\mathbb{N}$ is included in a finite union of members of the family 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}}}}\,<\,{{\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 ${{a}_{*}}\,>\,{{\aleph }_{1}}$ even unknown);

(iii) if, e.g., there is no inner model with measurables, then there is such a family.

Information

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 2011