Random graphs in the monadic theory of order
From MaRDI portal
Publication:1306794
DOI10.1007/s001530050129zbMath0935.03057arXivmath/9701219MaRDI QIDQ1306794
Saharon Shelah, Shmuel Lifsches
Publication date: 2 May 2000
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9701219
forcing; interpretability; consistent with ZFC; monadic theory of the real line; monadic theory of linear orders; theory of random graphs