The n-roach conjecture for Shehtman's first problem
The n-roach conjecture for Shehtman's first problem
For each , let denote the logic associated with , and let denote the logic of the class of -roaches. n-roach conjecture. For , one has
The paper proves the corresponding case (using the continuum hypothesis), while a solution for 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
Sign in to submit a solution.
No solutions have been posted yet.