Peano Arithmetic may not be interpretable in the monadic theory of orders
Logic
2016-09-06 v1
Abstract
Gurevich and Shelah have shown that Peano Arithmetic cannot be interpreted in the monadic second-order theory of short chains (hence, in the monadic second-order theory of the real line). We show here that it is consistent that there is no interpretation even in the monadic second-order theory of all chains.
Cite
@article{arxiv.math/9308219,
title = {Peano Arithmetic may not be interpretable in the monadic theory of orders},
author = {Shmuel Lifsches and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9308219},
year = {2016}
}