@misc{indiciaec7c55633cc01, title = {Regular bi-interpretability and finite axiomatizability of Chevalley groups}, author = {Elena Bunina and Pavel Gvozdevsky}, year = {2025}, url = {https://arxiv.org/abs/2311.01954}, note = {Source identifier: 2311.01954} }