Rodrigo A. Freire

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 4

Top Topics

Markov Logic Networks

Algebraic Geometry

Top Venues

Bull. Symb. Log.

Logica Universalis

Arch. Math. Log.

Reports Math. Log.

Publications

Rodrigo A. Freire, Peter Holy
An ordinal-connection axiom as a weak form of global choice under the GCH. Arch. Math. Log. 62 (3) (2023)
Rodrigo A. Freire, Peter Holy
An Axiomatic Approach to forcing in a General Setting. Bull. Symb. Log. 28 (3) (2022)
Rodrigo A. Freire
Embeddability Between Orderings and GCH. Reports Math. Log. 56 (2021)
Rodrigo A. Freire
First-Order Logic and First-Order Functions. Logica Universalis 9 (3) (2015)
Rodrigo A. Freire
On Existence in Set Theory, Part II: Relative Productivity. Notre Dame J. Formal Log. 55 (1) (2014)
Rodrigo A. Freire
On Existence in Set Theory. Notre Dame J. Formal Log. 53 (4) (2012)