Generalising the fan theorem

摘要

We characterise the collections of infinite binary sequences that, when barred by a set of finite binary sequences, are also barred by a finite subset of such a set.