# Maximum hitting for n sufficiently large

Borg asked what happens to the Erdős-Ko-Rado theorem if we only count sets meeting some fixed set , and answered the question for , the size of the sets in the set family. This paper answers the question for , provided , the size of the ground set, is sufficiently large.

There is a typo in the proof of Theorem 4 in the journal version. The line beginning "By Lemma 9, has size polynomial in ..." should read "By Lemma 9, ...". Thanks to Candida Bowtell for spotting this.

# A note on balanced independent sets in the cube

How large can an independent set in the discrete cube be if it contains equal numbers of sets of even and odd size? Take odd sets starting from the bottom of the cube, and even sets starting from the top. Proving that this works uses an isoperimetric inequality: if you know the proof of Harper's theorem that uses codimension 1 compressions then you know how to prove the inequality that's quoted without proof in this paper.