Rodrigo Freire

From MaRDI portal
(Redirected from Person:497871)



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