A special class of almost disjoint families

DOI10.2307/2275762MaRDI QIDQ4858823zbMATH OpenOpenAlexFDO

Authors Thomas E. Leathrum

Publication date 22 April 1996

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

Full work available at URL https://arxiv.org/abs/math/9403201

zbMATH Keywords

consistencycardinal invariantsforcingCohen modelalmost disjoint familyfamilies of branches of infinite trees

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35)

Abstract: The collection of branches (maximal linearly ordered sets of nodes) of the tree ${}^{<omega}omega$ (ordered by inclusion) forms an almost disjoint family (of sets of nodes). This family is not maximal -- for example, any level of the tree is almost disjoint from all of the branches. How many sets must be added to the family of branches to make it maximal? This question leads to a series of definitions and results: a set of nodes is {it off-branch} if it is almost disjoint from every branch in the tree; an {it off-branch family} is an almost disjoint family of off-branch sets; $$ is a maximal off-branch family$$. Results concerning $frako$ include: (in ZFC) $frakaleqfrako$, and (consistent with ZFC) $frako$ is not equal to any of the standard small cardinal invariants $frakb$, $fraka$, $frakd$, or $frakc=2^{o}mega$. Most of these consistency results use standard forcing notions -- for example, $Con(frakb=fraka<frako=frakd=frakc)$ comes from starting with a model of $ZFC+CH$ and adding $omeg{a}_2$-many Cohen reals. Many interesting open questions remain, though -- for example, $Con(frako<frakd)$.

Recommendations

• Mob families and mad families
• The size of maximal almost disjoint families
• scientific article; zbMATH DE number 5818961
• MAD families of projections on \(l^{2}\) and real-valued functions on \(\omega \)
• scientific article; zbMATH DE number 4057503

Cites work

• scientific article; zbMATH DE number 3877173 (Why is no real title available?)
• A model of set-theory in which every set of reals is Lebesgue measurable
• Set theory. An introduction to independence proofs

Cited in

(8)

• scientific article; zbMATH DE number 1295211 (Why is no real title available?)
• Incomparable families and maximal trees
• Generic existence of MAD families
• Restricted mad families
• Forcing indestructibility of MAD families
• Soft almost disjoint families
• Almost disjoint families and diagonalizations of length continuum
• Invariance properties of almost disjoint families

This page was built for publication: A special class of almost disjoint families

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