Abstract:
In this paper, we prove that the semigroups of invertible matrices with nonnegative elements over linearly ordered associative rings are elementarily equivalent if and only if the matrices have the same dimension and the rings are elementarily equivalent as ordered rings.