Abstract.
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).
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 18 July 1996
Rights and permissions
About this article
Cite this article
Lifsches, S., Shelah, S. Random graphs in the monadic theory of order. Arch Math Logic 38, 273–312 (1999). https://doi.org/10.1007/s001530050129
Issue Date:
DOI: https://doi.org/10.1007/s001530050129