Gelfand-Kirillov conjecture as a first-order formula - Mariano, Hugo Luiz; Schwarz, João Fernando (Brazilian Logic Conference - EBL 2025, 2025)