A family of size- subsets of a set is almost disjoint at when distinct members have intersection of size less than . Graphs of a long chain under eventual domination give such a family of size on . Transport by a bijection gives a family on itself.
Any at-most- subfamily of an almost disjoint family on a regular cardinal becomes pairwise disjoint after deleting fewer than points from each member. Enumerate it in length at most and apply the displayed trimming. Each removed part is a union of fewer than small intersections, so regular cardinal arithmetic bounds it below .
Articles by others on the same topic
There are currently no matching articles.