1 paper · 2 filters
Evelina Daniyarova, Alexei Myasnikov
This is the first paper in a series in which we lay down the foundations of the theory of interpretations. We systematically study different types of interpretations and their prop…