### Random Graphs in the monadic theory of order

by Lifsches and Shelah. [LeSh:527]

Archive for Math Logic, 1999

We continue the works of Gurevich-Shelah and Lifsches-Shelah by
showing that it is consistent with ZFC that the first-order theory
of random graphs is not interpretable in the monadic theory of all
chains. It is provable from ZFC that the theory of random graphs is
not interpretable in the monadic second order theory of short chains
(hence, in the monadic theory of the real line).

Back to the list of publications