A special class of almost disjoint families

DOI10.2307/2275762zbMATH Open0835.03014arXivmath/9403201OpenAlexW2127613616MaRDI QIDQ4858823FDOQ4858823

Authors: Thomas E. Leathrum 

Publication date: 22 April 1996

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

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)$.

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

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

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)

Cites Work

• Set theory. An introduction to independence proofs
• A model of set-theory in which every set of reals is Lebesgue measurable
• Title not available (Why is that?)

Cited In (8)

• Title not available (Why is that?)
• 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)