2 papers
math.LO2018
Model-theoretic properties of free, projective, and flat S-acts
Victoria Gould, Alexander Mikhalev, Evgeny Palyutin +1
This is the second in a series of articles surveying the body of work on the model theory of S-acts over a monoid S. The first concentrated on the theory of regular S-acts. Here we…
math.RA2006
Elementary equivalence of the semigroup of invertible matrices with nonnegative elements
Elena I. Bunina, Alexandr V. Mikhalev
In this paper, we prove that the semigroups of invertible matrices with nonnegative elements over linearly oredered associative rings are elementarily equivalent if and only if the…