3 papers
math.LO2026
Theory of Interpretations II. Categorical equivalence of projective logical geometries
Evelina Daniyarova, Alexei Myasnikov
We introduce projective logical geometry and prove that two algebraic structures are strongly bi-interpretable if and only if their categories of projective logical sets are equiva…
math.LO2025
Theory of Interpretations I. Foundations
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…
math.GR2024
Groups elementarily equivalent to metabelian BaumslagSolitar groups and regular bi-interpretability
Evelina Daniyarova, Alexei Myasnikov
We prove that metabelian BaumslagSolitar group , , is (strongly) regularly bi-interpretable with the ring of integers , and describe in algebraic terms…