10 citations · 11 across the 3 of their papers we have counts for
3 papers
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★ 1 cited
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…
math.AG2008★ 10 cited
Unification theorems in algebraic geometry
E. Daniyarova, A. Myasnikov, V. Remeslennikov
In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approa…