Showing 2023Show all
2 papers · 1 filter
math.GR2023
Regular bi-interpretability and finite axiomatizability of Chevalley groups
Elena Bunina, Pavel Gvozdevsky
In this paper we consider Chevalley groups over commutative rings with~, constructed by irreducible root systems of rank . We always suppose that for the systems $A_2, B_\el…
math.LO2023
On countable isotypic structures
Pavel Gvozdevsky
We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; th…