Peano Arithmetic may not be interpretable in the monadic theory of linear orders

by Lifsches and Shelah. [LeSh:471]
J Symbolic Logic, 1997
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.


Back to the list of publications