@inproceedings{inproceedings3bbdbc17, title = {First-order characterization and topological properties of Gel’fand C∞−Rings}, author = {Berni, Jean Cerqueira and Mariano, Hugo Luiz}, year = {2025}, publisher = {Sociedade Brasileira de Lógica - SBL}, booktitle = {Brazilian Logic Conference - EBL 2025} }