We will use the Ultra-Ellentuck theorem to construct countable local $\pi$-bases in a given sequential-definable topology on $\omega$ that is $p^+$ (or $\alpha_4$ if we replace sequential by Frechet).