Rodrigo Freire

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
An ordinal-connection axiom as a weak form of global choice under the GCH
Archive for Mathematical Logic
2023-04-27Paper
AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING
The Bulletin of Symbolic Logic
2022-10-25Paper
scientific article; zbMATH DE number 7503141 (Why is no real title available?)2022-04-04Paper
Embeddability between orderings and GCH2022-02-02Paper
On existence in arithmetic2021-03-18Paper
An axiomatic approach to forcing and generic extensions
Comptes Rendus. Mathématique. Académie des Sciences, Paris
2020-10-28Paper
Interpretation and truth in set theory
Trends in Logic
2020-08-06Paper
First-order logic and first-order functions
Logica Universalis
2015-09-25Paper
On existence in set theory. II: Relative productivity
Notre Dame Journal of Formal Logic
2014-04-04Paper
On existence in set theory
Notre Dame Journal of Formal Logic
2012-11-29Paper


Research outcomes over time


This page was built for person: Rodrigo Freire