@article{gurevich1989on,
author = {Gurevich, Yuri and Shelah, Saharon},
title = {On the Strength of the Interpretation Method},
year = {1989},
month = {April},
abstract = {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, 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.},
url = {http://approjects.co.za/?big=en-us/research/publication/strength-interpretation-method/},
pages = {305-323},
journal = {Journal of Symbolic Logic},
volume = {54},
number = {2},
}