# Non-measurable subset of ω1\omega_1

Consider $\omega_1$ equipped with the order topology. Then Borel subsets of $\omega_1$ are precisely those which contain a closed and unbounded set or the complement contains such a set. There must be (in ZFC) sets which lack this property, as otherwise $\omega_1$ would be measurable. Can one please tell how to “construct” such sets (using some form of choice, of course).

A set $S\subseteq\omega_1$ is stationary if it has non-empty intersection with every cub set, so it suffices to construct two disjoint stationary sets: neither can contain or be disjoint from any cub set. In fact this post from Andres Caicedo’s blog shows how to construct $\omega_1$ pairwise disjoint stationary subsets of $\omega_1$.