Non-isomorphic monadically equivalent order to the rational order

About 3 years old · traced to

Let RR denote the rational order.

Non-isomorphic equivalent-order conjecture. There is an order MM such that MM and RR have the same monadic theory, but MM is not isomorphic to RR.

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.