Monadic Theory of Order and Topology in ZFC
- Yuri Gurevich ,
- Saharon Shelah
Annals of Mathematical Logic | , pp. 179-198
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.