@article{gurevich1982monadic,
author = {Gurevich, Yuri and Shelah, Saharon},
title = {Monadic Theory of Order and Topology in ZFC},
year = {1982},
month = {July},
abstract = {In 1975 Annals of Mathematics Shelah interpreted true first-order arithmetic in the monadic theory of order under the assumption of the continuum hypothesis. The assumption is removed here.},
url = {http://approjects.co.za/?big=en-us/research/publication/monadic-theory-order-topology-zfc/},
pages = {179-198},
journal = {Annals of Mathematical Logic},
}