The n-roach conjecture for Shehtman's first problem

For each nn, let Ln{\sf L}_n denote the logic associated with β(ωn)\beta(\omega^n), and let L(Rn){\sf L}(\mathcal R_n) denote the logic of the class of nn-roaches. n-roach conjecture. For n3n\ge 3, one has

Ln=L(Rn).{\sf L}_n={\sf L}(\mathcal R_n).

The paper proves the corresponding case n=2n=2 (using the continuum hypothesis), while a solution for n3n\ge 3 remains open.

Sources & referencesView supporting material

Primary source

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan and Jan van Mill, “On Shehtman's Two Problems”, arXiv:2308.13684 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.