On the Strength of the Interpretation Method
- Yuri Gurevich (gurevich) ,
- Saharon Shelah
Journal of Symbolic Logic | , Vol 54(2): pp. 305-323
The interpretation method is the main tool in proving negative results related logical theories. We examine the strength of the interpretation method and find a serious limitation. In one of our previous papers 57 (opens in new tab), we were able to reduce true arithmetic to the monadic theory of real line. Here we show that true arithmetic cannot be interpreted in the monadic theory of real line.