Rodrigo de Alvarenga Freire

According to our database, Rodrigo de Alvarenga Freire authored at least 8 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2023

An ordinal-connection axiom as a weak form of global choice under the GCH.

Rodrigo A. Freire, Peter Holy

Arch. Math. Log., May, 2023

2022

An Axiomatic Approach to forcing in a General Setting.

Rodrigo A. Freire, Peter Holy

Bull. Symb. Log., 2022

2021

Embeddability Between Orderings and GCH.

Rodrigo A. Freire

Reports Math. Log., 2021

2015

First-Order Logic and First-Order Functions.

Rodrigo A. Freire

Logica Universalis, 2015

2014

On Existence in Set Theory, Part II: Relative Productivity.

Rodrigo A. Freire

Notre Dame J. Formal Log., 2014

2012

On Existence in Set Theory.

Rodrigo A. Freire

Notre Dame J. Formal Log., 2012

2007

A Global Glance on Categories in Logic.

Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano, Hugo Luiz Mariano

Logica Universalis, 2007

2005

Fibring and Sheaves.

Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano, Hugo Luiz Mariano

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005