Non-isomorphic monadically equivalent order to the rational order
Let denote the rational order.
Non-isomorphic equivalent-order conjecture. There is an order such that and have the same monadic theory, but is not isomorphic to .
The source explicitly marks this assertion as refuted by Gurevich. Thus no such order exists, according to the supplied status evidence.
References
Primary source
Saharon Shelah, “The monadic theory of order”, arXiv:2305.00968 (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.