Elementary equivalence of the semigroup of invertible matrices with nonnegative elements
arXiv:math/0608117
Abstract
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 matrices have the same dimension and the rings are elementarily equivalent as ordered rings.
11 pages