Elementary equivalence of semigroups of invertible matrices with nonnegative elements over commutative partially ordered rings

In the paper we prove that if two semigroups of invertible matrices with nonnegative elements over partially ordered commutative rings are elementarily equivalent, then their dimensions coincide and the corresponding semirings of nonnegative elements are elementarily equivalent.