On Constructible Matrix or Ordered Groups

Vitalii Roman'kov (romankov@math.omsu.omskreg.ru)
Omsk State University (Russia),
Nazif Khisamiev (hisamiev@mail.ru)
East-Kazakhstan Technical University (Kazakhstan)

We study the interrelations between constructivizations of a commutative associative ring K with unit and the matrix groups GL_n(K), SL_n(K) and UT_n(K). We also study constructible ordered groups in the signature of ordered groups.