PEANO ARITHMETIC MAY NOT BE INTERPRETABLE IN THE MONADIC THEORY OF LINEAR ORDERS

Authors
LIFSCHES S SHELAH S
Citation
S. Lifsches et S. Shelah, PEANO ARITHMETIC MAY NOT BE INTERPRETABLE IN THE MONADIC THEORY OF LINEAR ORDERS, The Journal of symbolic logic, 62(3), 1997, pp. 848-872
Citations number
12
Categorie Soggetti
Mathematics, Pure",Mathematics
Journal title
The Journal of symbolic logic → ACNP
ISSN journal
00224812
Volume
62
Issue
3
Year of publication
1997
Pages
848 - 872
Database
ISI
SICI code
0022-4812(1997)62:3<848:PAMNBI>2.0.ZU;2-8
Abstract
Gurevich and Shelah have shown that Peano Arithmetic cannot be interpr eted 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 int erprets Peano Arithmetic.