A filter on a collection of finite sets and Eberlein compacta

Abstract

We introduce a $\sigma$-ideal on $\omega_1 \times \omega_1$ and a filter on the collection of graphs of strictly decreasing partial functions on $\omega_1$ taking values in $\omega_1$. We use them to prove that a certain space is a non-bisequential Eberlein compactum.