@inproceedings{inproceedings4bc589d8,
title   = {O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra},
author = {Severino, Jéssica Duarte and Roberto, Kaique Matias de Andrade and Mariano, Hugo Luiz},
year = {2025},
publisher = {Sociedade Brasileira de Lógica - SBL},
booktitle   = {Brazilian Logic Conference - EBL 2025}
}