2 papers
math.LO2024
Nonstandard polynomials: algebraic properties and elementary equivalence
Alexei Myasnikov, Andrey Nikolaev
We solve the first-order classification problem for rings of polynomials and Laurent polynomials with coefficients i…
math.NT2023
The Diophantine problem in Chevalley groups
Elena Bunina, Alexey Miasnikov, Eugene Plotkin
In this paper we study the Diophantine problem in Chevalley groups , where is an indecomposable root system of rank , is an arbitrary commutative ring with $…