Peano Arithmetic May Not be Interpretable in the Monadic Theory of Linear Orders

Lifsches, Shmuel; Shelah, Saharon

J. Symbolic Logic, Tome 62 (1997) no. 1, p. 848-872 / Harvested from Project Euclid

Résumé

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 will show here that it is consistent that the monadic second-order theory of no chain interprets Peano Arithmetic.

Publié le : 1997-09-14
Classification:

@article{1183745300,
     author = {Lifsches, Shmuel and Shelah, Saharon},
     title = {Peano Arithmetic May Not be Interpretable in the Monadic Theory of Linear Orders},
     journal = {J. Symbolic Logic},
     volume = {62},
     number = {1},
     year = {1997},
     pages = { 848-872},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745300}
}

Lifsches, Shmuel; Shelah, Saharon. Peano Arithmetic May Not be Interpretable in the Monadic Theory of Linear Orders. J. Symbolic Logic, Tome 62 (1997) no. 1, pp.  848-872. http://gdmltest.u-ga.fr/item/1183745300/