The Monadic Theory and the ‘Next World’
- Yuri Gurevich ,
- Saharon Shelah
Let r be a Cohen real over a model V of ZFC; then the second-order V[r]-theory of the integers (even the reals if V satisfies CH) is interpretable in the monadic V-theory of the real line. Contrast this with the result of 79 (opens in new tab).