ByNobleID
    The Tukey Order and Subsets of $\omega_1$ | NobleID