“…In our previous paper (see [13]) it was proved that despite an "infinite" dimension of the stable group, from elementary equivalence of two arbitrary rings with unit it follows elementary equivalence of stable linear groups over them, i.e., we do not need higher-order logic. In the same paper we proved that from elementary equivalence of stable linear groups over commutative local rings with 1/2 it follows elementary equivalence of the corresponding rings.…”
“…In our previous paper (see [13]) it was proved that despite an "infinite" dimension of the stable group, from elementary equivalence of two arbitrary rings with unit it follows elementary equivalence of stable linear groups over them, i.e., we do not need higher-order logic. In the same paper we proved that from elementary equivalence of stable linear groups over commutative local rings with 1/2 it follows elementary equivalence of the corresponding rings.…”
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.