TY  - RPRT
TI  - Peano Arithmetic may not be interpretable in the monadic theory of orders
AU  - Shmuel Lifsches
AU  - Saharon Shelah
PY  - 1993
UR  - https://arxiv.org/abs/math/9308219
ID  - math/9308219
ER  -