Rodrigo de Alvarenga Freire

CV Lattes Google Scholar Citations

Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Institutional affiliation from the last research proposal)
Birthplace: Brazil

Rodrigo de Alvarenga Freire in research grants and scholarships supported by FAPESP.

News published in Agência FAPESP Newsletter about the researcher

More items Less items

TITULO

Articles published in other media outlets ( ):

More items Less items

VEICULO: TITULO (DATA)

Scholarships in Brazil

Completed (most recent)

Abstract
The axiomatization of ZFC set theory intends to describe the universe of all sets. This universe has an intuitive description known as the "iterative, cumulative hierarchy of sets". According to this description, sets are "produced" in levels: in a given level, all sets produced in earlier levels, and only those, are available as elements for the production of new sets. Therefore, it seem…
Axiomatic Systems for Set Theory, BP.PD
THE MEANING OF ARITHMETICAL SENTENCES, THE SET-THEORETIC DEFINABILITY AND THE ROLE OF CATEGORY THEORY IN SEMANTICS OF LOGICAL SYSTEMS, BP.PD

Virtual Library in numbers * Updated data on July 26, 2025

Total / Available in English

4 / 2	Completed scholarships in Brazil

Associated processes

Most frequent collaborators in research granted by FAPESP

Keywords used by the researcher

Humanities Philosophy

Please report errors on the page using this form.

Short URL

Abstract