Cohen-stable families of subsets of integers

DOI10.2307/2694920MaRDI QIDQ2732277zbMATH OpenOpenAlexFDO

Authors Miloš S. Kurilić

Publication date 11 March 2002

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2694920

zbMATH Keywords

Cohen extensionCohen forcingmad familiesmaximal almost disjoint familysplitting families

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Review text

In this paper, the author considers the (still open) problem whether there exists (in ZFC) a maximal almost disjoint family of subsets of the integers which remains maximal in any Cohen extension. Although the problem is not yet solved in this paper, some interesting information is provided. First, it is shown that for a maximal almost disjoint family in order to remain maximal in any Cohen extension, it is necessary and sufficient that every bijection from \(\omega\) to the set of rational numbers must have a somewhere dense image on some member of the family. Secondly, a characterization of the existence of such a family is given.

Recommendations

• Coinitial families of perfect sets
• Cofinite subsets of asymptotic bases for the positive integers
• Families of finite subsets of \(\mathbb N\)
• The gap structure of a family of integer subsets
• COHERENT FAMILIES OF POLYNOMIALS
• On large families of subsets of the set of the integers not exceeding \(N\)
• On a family involving R. L. Cohen's \(\zeta\)-element
• Subfamilies of special elements of complete numberings
• Stable families of analytic sets
• On coherent families of finite-to-one functions

Cites work

• A model of set-theory in which every set of reals is Lebesgue measurable
• Set theory. An introduction to independence proofs
• Short complete nested sequences in βN⧹N and small maximal almost-disjoint families
• Splittings

Cited in

(20)

• Almost coinciding families and gaps in \({\mathcal P}(\omega)\)
• Forcing indestructibility of MAD families
• Mad families, forcing and the Suslin hypothesis
• The ultrafilter and almost disjointness numbers
• MAD families and strategically bounding forcings
• Covering properties of \(\omega\)-mad families
• Indestructibility of ideals and MAD families
• 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
• The gap structure of a family of integer subsets
• Ordering MAD families a la Katětov
• Selection principles in the Laver, Miller, and Sacks models
• Restricted mad families
• Generic existence of MAD families
• PARTITION FORCING AND INDEPENDENT FAMILIES
• New examples of MAD families with pseudocompact hyperspaces
• Projective mad families
• Katětov order on \(\mathsf{MAD}\) families
• The category dichotomy for ideals
• Universally Sacks-indestructible combinatorial families of reals
• Splitting families and forcing

This page was built for publication: Cohen-stable families of subsets of integers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2732277)