TY  - RPRT
TI  - Regular bi-interpretability and finite axiomatizability of Chevalley groups
AU  - Elena Bunina
AU  - Pavel Gvozdevsky
PY  - 2025
UR  - https://arxiv.org/abs/2311.01954
ID  - 2311.01954
ER  -