| A global glance on categories in Logic P Arndt, RA Freire, OO Luciano, HL Mariano Logica Universalis 1 (1), 3-39, 2007 | 20 | 2007 |
| Interpretation and truth in set theory RA Freire Contradictions, from Consistency to Inconsistency, 183-205, 2018 | 11 | 2018 |
| First-order logic and first-order functions RA Freire Logica Universalis 9, 281-329, 2015 | 9 | 2015 |
| On existence in set theory RA Freire | 8 | 2012 |
| On the category of algebraizable logics P Arndt, RA Freire, OO Luciano, HL Mariano CLE e-Prints 6 (1), 1-24, 2006 | 8 | 2006 |
| Fibring and sheaves. P Arndt, R de Alvarenga Freire, OO Luciano, HL Mariano IICAI, 1679-1698, 2005 | 7 | 2005 |
| Vortices in superconductors with a columnar defect: Finite size effects E Sardella, R de Alvarenga Freire, PN Lisboa-Filho Physica C: Superconductivity 421 (1-4), 41-48, 2005 | 6 | 2005 |
| The ontological import of adding proper classes AR Freire, RDEA FREIRE Manuscrito 42, 85-112, 2019 | 5 | 2019 |
| An axiomatic approach to forcing and generic extensions RA Freire Comptes Rendus. Mathématique 358 (6), 757-775, 2020 | 2 | 2020 |
| Grasping sets through ordinals: On a weak form of the constructibility axiom R Freire South Am. J. Log. 2 (2), 347-359, 2016 | 2 | 2016 |
| Interpretation and truth in cantorian set theory RA Freire preprint, 2015 | 2 | 2015 |
| On existence in set theory, part ii: Relative productivity RA Freire | 2 | 2014 |
| Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos RA Freire [sn], 2009 | 2 | 2009 |
| An axiomatic approach to forcing in a general setting RA Freire, P Holy Bulletin of Symbolic Logic 28 (3), 427-450, 2022 | 1 | 2022 |
| Gödel’s theorem and paraconsistency G Priest Seminário Lógica no Aviao, 2013-2018, 1-8, 2019 | 1 | 2019 |
| Da Semântica para Demonstrações de Consistência e a Volta RA Freire, LSP Ramos Revista de Filosofia Moderna e Contemporânea 6 (2), 37-56, 2018 | 1 | 2018 |
| On existence in set theory, part III: Applications to new axioms RA Freire South Am. J. Log. 1 (1), 249-265, 2015 | 1 | 2015 |
| Teoria das funções de primeira ordem RA Freire, DV Tausk | 1 | 2014 |
| Vortex lattice of a long superconducting wire with a columnar defect E Sardella, RA Freire Brazilian Journal of Physics 32, 695-698, 2002 | 1 | 2002 |
| An ordinal-connection axiom as a weak form of global choice under the GCH RA Freire, P Holy Archive for Mathematical Logic 62 (3), 321-332, 2023 | | 2023 |
