Abstract
AbstractWe throw some light on the question: is there a MAD family (a maximal family of infinite subsets of ℕ, the intersection of any two is finite) that is saturated (=completely separable i.e., any X ⊆ ℕ 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ℵ0 < ℵω, 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* > ℵ1 even unknown);(iii) if, e.g., there is no inner model with measurables, then there is such a family.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
