Nonstandard free groups

Alexei Miasnikov, Andrey Nikolaev

Interpretation of a structure $\mathbb{A}$ in $\mathbb{B}$ allows to produce structures elementarily equivalent to $\mathbb{A}$ given those elementarily equivalent to $\mathbb{B}$. In…