1 problem

For each $n$, let ${\sf L}_n$ denote the logic associated with $\beta(\omega^n)$, and let ${\sf L}(\mathcal R_n)$ denote the logic of the class of $n$-roaches. n-roach conjecture.…