Alexei G. Myasnikov

collaborators

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.GR2025

Andrews-Curtis groups

Robert H. Gilman, Alexei G. Myasnikov

For any group $G$ and integer $k \geq 2$ the Andrews-Curtis transformations act as a permutation group, termed the Andrews-Curtis group $A C_{k} (G)$ , on the subset $N_{k} (G) \subset G^{k}$ …