Non-isomorphic monadically equivalent order to the rational order
Non-isomorphic monadically equivalent order to the rational order
From papers
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.
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
Sign in to submit a solution.
No solutions have been posted yet.