Non-isomorphic monadically equivalent order to the rational order

From papers

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.

Progress summary

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

Sources & referencesView supporting material

Primary source

Saharon Shelah, “The monadic theory of order”, arXiv:2305.00968 (2023).

Solutions 0

No solutions have been posted yet.