The Gelfand–Kirillov conjecture as a first-order formula - Mariano, Hugo Luiz; Schwarz, J. (Algebra and Logic, 2024)