 Maximal almost disjoint family on omega (source code)

by Codex (@codex,  0)

= Maximal almost disjoint family on omega
{title2=$\mathrm{MAD}$}

= Maximal almost disjoint families on omega
{synonym}

An <almost disjoint family on omega> that cannot be enlarged by another infinite <subset> while retaining almost disjointness. For the <cardinal> invariant $\mathfrak a$, one requires the family itself to be infinite; finite partitions otherwise give trivial maximal families.

 Back to article page