Fibring and Sheaves. - Peter Arndt 001; Rodrigo de Alvarenga Freire; Odilon Otavio Luciano; Hugo Luiz Mariano (IICAI, 2005)

A Global Glance on Categories in Logic. - Peter Arndt 001; Rodrigo de Alvarenga Freire; Odilon Otavio Luciano; Hugo Luiz Mariano (Logica Universalis, 2007)

On Existence in Set Theory. - Rodrigo A. Freire (Notre Dame J. Formal Log., 2012)

On Existence in Set Theory, Part II: Relative Productivity. - Rodrigo A. Freire (Notre Dame J. Formal Log., 2014)

First-Order Logic and First-Order Functions. - Rodrigo A. Freire (Logica Universalis, 2015)

Embeddability Between Orderings and GCH. - Rodrigo A. Freire (Reports Math. Log., 2021)

An Axiomatic Approach to forcing in a General Setting. - Rodrigo A. Freire; Peter Holy (Bull. Symb. Log., 2022)

An ordinal-connection axiom as a weak form of global choice under the GCH. - Rodrigo A. Freire; Peter Holy (Arch. Math. Log., 2023)