@inproceedings{gurevich1984the,
author = {Gurevich, Yuri and Shelah, Saharon},
title = {The Monadic Theory and the 'Next World'},
year = {1984},
month = {July},
abstract = {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.},
url = {http://approjects.co.za/?big=en-us/research/publication/monadic-theory-next-world/},
}