O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra - Severino, Jéssica Duarte; Roberto, Kaique Matias de Andrade; Mariano, Hugo Luiz (Brazilian Logic Conference - EBL 2025, 2025)