Sciweavers

AML
1999

Random graphs in the monadic theory of order

13 years 11 months ago
Random graphs in the monadic theory of order
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).
Shmuel Lifsches, Saharon Shelah
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1999
Where AML
Authors Shmuel Lifsches, Saharon Shelah
Comments (0)