POS-MAT - Producao Academica dos Ex-Alunos do Programa de Pos-Graduacao em Matemática

Rodrigo de Alvarenga Freire

Possui graduação em Engenharia Elétrica pela Universidade Estadual Paulista Julio de Mesquita Filho (2004), doutorado em Filosofia pela Universidade Estadual de Campinas (2009) e doutorado em Matemática pela Universidade de São Paulo (2014). Atualmente é Professor Adjunto da Universidade de Brasília onde coordena o Programa de Pós-Graduação em Filosofia. Tem experiência na área de Lógica com ênfase em estudos fundacionais. (Texto informado pelo autor)

http://lattes.cnpq.br/4764428833100381 (28/11/2020)

Rótulo/Grupo:

Bolsa CNPq: Nível 2

Período de análise:

Endereço: Universidade de Brasília, Departamento de Filosofia. Universidade de Brasília (UnB) Asa Norte 70910900 - Brasília, DF - Brasil Telefone: (11) 995827098

Grande área: Ciências Humanas

Área: Filosofia

Citações: Google Acadêmico

Produção bibliográfica

Artigos completos publicados em periódicos (15)
1. FREIRE, RODRIGO A. An axiomatic approach to forcing and generic extensions. Comptes Rendus. Mathématique. v. 358, p. 757-775, issn: 1778-3569, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B1 (COMPTES RENDUS. MATH�MATIQUE)
2. FREIRE, ALFREDO ROQUE ; FREIRE, RODRIGO DE ALVARENGA. The Ontological Import of Adding Proper Classes. MANUSCRITO (UNICAMP). v. 42, p. 85-112, issn: 0100-6045, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (MANUSCRITO (UNICAMP))
3. RAMOS, LUIZA S. P. ; FREIRE, RODRIGO A.. Da Semântica para Demonstrações de Consistência e a Volta. REVISTA DE FILOSOFIA MODERNA E CONTEMPORÂNEA. v. 6, p. 37-56, issn: 2317-9570, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (REVISTA DE FILOSOFIA MODERNA E CONTEMPORÂNEA)
4. FREIRE, RODRIGO A. Grasping Sets Through Ordinals: On a Weak Form of the Constructibility Axiom. SOUTH AMERICAN JOURNAL OF LOGIC. v. 2, p. 347-359, issn: 2446-6719, 2016.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: C
5. FREIRE, RODRIGO A. First-Order Logic and First-Order Functions. Logica Universalis (Online). v. 9, p. 281-329, issn: 1661-8300, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (LOGICA UNIVERSALIS (ONLINE))
6. FREIRE, RODRIGO A. Funções de Primeira Ordem e n-Tipos. CLE e-Prints (Online). v. 15, p. 1-10, issn: 1519-9681, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (CLE E-PRINTS (ONLINE))
7. FREIRE, RODRIGO A. On Existence in Set Theory, Part III: Applications to New Axioms. SOUTH AMERICAN JOURNAL OF LOGIC. v. 1, p. 249-265, issn: 2446-6719, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: C
8. FREIRE, RODRIGO A. On Existence in Set Theory, Part II: Relative Productivity. Notre Dame Journal of Formal Logic. v. 55, p. 91-105, issn: 0029-4527, 2014.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B2
9. FREIRE, RODRIGO A. On Existence in Set Theory. Notre Dame Journal of Formal Logic. v. 53, p. 525-547, issn: 0029-4527, 2012.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B2
10. FREIRE, RODRIGO A. A Short Note on Sacks Generic Extensions. CLE e-Prints (Online). v. 11, p. 1-3, issn: 1519-9681, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (CLE E-PRINTS (ONLINE))
11. TAUSK, D. V. ; FREIRE, RODRIGO A.. Conjuntos Linearmente Independentes e Conjuntos Geradores em Módulos. MATEMÁTICA UNIVERSITÁRIA. v. 50/51, p. 24-27, issn: 0102-8545, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B4
12. ARNDT, P. ; FREIRE, RODRIGO A. ; LUCIANO, O. O. ; MARIANO, H. L.. A Global Glance on Categories in Logic. Logica Universalis (Print). v. 1, p. 3-39, issn: 1661-8297, 2007.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (LOGICA UNIVERSALIS (PRINT))
13. ARNDT, P. ; FREIRE, RODRIGO A. ; LUCIANO, O. O. ; MARIANO, H. L.. On the Category of Algebraizable Logics. CLE e-Prints (Online). v. 6, p. 1-24, issn: 1519-9681, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (CLE E-PRINTS (ONLINE))
14. SARDELLA, E. ; FREIRE, RODRIGO A. ; LISBOA FILHO, P. N.. Vortices in Superconductors with a Columnar Defect: Finite Size Effects. Physica. C, Superconductivity (Print). v. 421, p. 41-48, issn: 0921-4534, 2005.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (PHYSICA. C, SUPERCONDUCTIVITY (PRINT))
15. SARDELLA, E. ; FREIRE, RODRIGO A.. Vortex Lattice in a Long Superconducting Wire with a Columnar Deffect. Brazilian Journal of Physics (Impresso). v. 32, n. 3, p. 695-698, issn: 0103-9733, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B2
Livros publicados/organizados ou edições (2)
1. FREIRE, RODRIGO A. Tópicos em Lógica de Primeira Ordem. 1 ed. Brasília: Lógica no Avião, 2019. v. 1, p. 103.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. Almeida, Edgar (Org.) ; Costa-Leite, Alexandre (Org.) ; Freire, Rodrigo (Org.). Seminário Lógica no Avião. 1 ed. Lógica no Avião, 2019. .
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Capítulos de livros publicados (2)
1. ALMEIDA, E. L. B. ; FREIRE, RODRIGO A.. On Existence in Arithmetic. Em: Alexandre Costa-Leite. (Org.). Abstract Consequence and Logics. 1ed.Londres. : College. 2020.v. 42, p. 199-219.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. FREIRE, RODRIGO A. Interpretation and Truth in Set Theory. Em: Carnielli, W.; Malinowski, J.. (Org.). Contradictions, from Consistency to Inconsistency. 1ed. : Springer International Publishing. 2018.v. 47, p. 183-205.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Textos em jornais de notícias/revistas (0)
Trabalhos completos publicados em anais de congressos (0)
Resumos expandidos publicados em anais de congressos (0)
Resumos publicados em anais de congressos (0)
Artigos aceitos para publicação (0)
Apresentações de trabalho (18)
1. FREIRE, RODRIGO A.; Lógica Abstrata e Definibilidade. 2019. 0. Apresentação de Trabalho/Conferência ou palestra
2. FREIRE, RODRIGO A. Avoiding paradoxes of unlimited set-formation and the foundations of set theory. 2019. Apresentação de Trabalho/Conferência ou palestra
3. FREIRE, RODRIGO A.; O Teorema de Herbrand-Hilbert-Ackermann. 2018. 0. Apresentação de Trabalho/Conferência ou palestra
4. FREIRE, RODRIGO A.; O Formal e o Normativo em Matemática. 2018. 0. Apresentação de Trabalho/Conferência ou palestra
5. FREIRE, RODRIGO A.; On the Concept of Generic Extension. 2018. 0. Apresentação de Trabalho/Conferência ou palestra
6. FREIRE, RODRIGO A.; Princípios de Substituição em Linguagens Infinitárias. 2017. 0. Apresentação de Trabalho/Conferência ou palestra
7. FREIRE, RODRIGO A.; Set-Theoretic Principles and Arbitrariness. 2017. 0. Apresentação de Trabalho/Comunicação
8. FREIRE, RODRIGO A.; Lógica de Primeira Ordem e Funções de Primeira Ordem. 2017. 0. Apresentação de Trabalho/Conferência ou palestra
9. FREIRE, RODRIGO A.; Teoria de Conjuntos com Ordinais em Quantidade Suficiente. 2016. 0. Apresentação de Trabalho/Conferência ou palestra
10. FREIRE, RODRIGO A.; Existential Import in Set Theory. 2016. 0. Apresentação de Trabalho/Comunicação
11. FREIRE, RODRIGO A.; A Weak Form of the Constructibility Axiom. 2016. 0. Apresentação de Trabalho/Comunicação
12. FREIRE, RODRIGO A.; First-Order Logic and First-Order Functions. 2015. 0. Apresentação de Trabalho/Conferência ou palestra
13. FREIRE, RODRIGO A.; ALMEIDA, E. L. B.. Existence Axioms in Second-Order Arithmetic. 2013. Apresentação de Trabalho/Comunicação
14. FREIRE, RODRIGO A.; On Existence in Set Theory. 2012. 0. Apresentação de Trabalho/Comunicação
15. FREIRE, RODRIGO A.; The Existential Requirement of a Valid Sentence in Set Theory. 2012. 0. Apresentação de Trabalho/Conferência ou palestra
16. FREIRE, RODRIGO A.; Degrees of Existence Requirement. 2012. 0. Apresentação de Trabalho/Comunicação
17. FREIRE, RODRIGO A.; SCHWARZ, J. F. ; TAUSK, D. V.. The Axioms of ZFC Set Theory. 2011. Apresentação de Trabalho/Comunicação
18. FREIRE, RODRIGO A.; Paradoxos Semânticos e a Teoria da Verdade de Tarski. 2008. 0. Apresentação de Trabalho/Conferência ou palestra
Demais tipos de produção bibliográfica (5)
1. FREIRE, RODRIGO A. Editor´s Preface: About Logic and Logicians. A palimpsest of essays by Georg Kreisel, selected and arranged by Piergiorgio Odifreddi. Brasília. 2019. Prefácio, Pósfacio/Prefácio
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. ALMEIDA, E. L. B. ; COSTA-LEITE, A. F. B. ; Freire, Rodrigo. Prefácio Editorial: Seminário Lógica no Avião, 2013-2018. Brasília. 2019. Prefácio, Pósfacio/Prefácio
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. COSTA-LEITE, A. F. B. ; FREIRE, RODRIGO A.. Apresentação: Dossiê Colóquio UnB - USP de Lógica e Filosofia da Lógica. 2018. Prefácio, Pósfacio/Apresentação
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. FREIRE, RODRIGO A.; Teoria das Funções de Primeira Ordem. Universidade de São Paulo. 2014. Tese de doutorado em Matemática
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5. FREIRE, RODRIGO A. Os Fundamentos do Pensamento Matemático no Século XX e a Relevância Fundacional da Teoria de Modelos. Universidade Estadual de Campinas. 2009. Tese de doutorado em Filosofia
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

Produção técnica

Programas de computador com registro de patente (0)
Programas de computador sem registro de patente (0)
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (0)
Demais tipos de produção técnica (11)
1. MIRAGLIA, F. ; FREIRE, RODRIGO A.. An Introduction to Partially Ordered Structures and Sheaves. 2020. Editoração/Livro
  [ busca Google | busca Bing ]
2. KREISEL, G. ; ODIFREDDI, P. ; FREIRE, RODRIGO A. ; FREIRE, RODRIGO A.. About Logic and Logicians. A Palimpsest of Essays by Georg Kreisel Selected and Arranged by Piergiorgio Odifreddi. Volume 2: Mathematics. 2019. Editoração/Livro
  [ busca Google | busca Bing ]
3. FREIRE, RODRIGO A.; Tópicos em Lógica de Primeira Ordem. 2019. 0. Editoração/Livro
  [ busca Google | busca Bing ]
4. ALMEIDA, E. L. B. ; Costa-Leite, Alexandre ; FREIRE, RODRIGO A.. Seminário Lógica no Avião: 2013 - 2018. 2019. Editoração/Coletânea
  [ busca Google | busca Bing ]
5. KREISEL, G. ; ODIFREDDI, P. ; FREIRE, RODRIGO A. ; FREIRE, RODRIGO A.. About Logic and Logicians. A Palimpsest of Essays by Georg Kreisel Selected and Arranged by Piergiorgio Odifreddi. Volume 1: Philosophy. 2019. Editoração/Livro
  [ busca Google | busca Bing ]
6. FREIRE, RODRIGO A.; Teoremas de Gödel da Incompletude. 2018. 0. Curso de curta duração ministrado/Outra
  [ busca Google | busca Bing ]
7. FREIRE, RODRIGO A.; Isomorfismos Parciais. 2017. 0. Curso de curta duração ministrado/Outra
  [ busca Google | busca Bing ]
8. FREIRE, RODRIGO A.; Fundamentos da Matemática. 2015. 0. Curso de curta duração ministrado/Outra
  [ busca Google | busca Bing ]
9. FREIRE, RODRIGO A.; Introductory Notes on Back-and-Forth. 2013. 0. Desenvolvimento de material didático ou instrucional - Material didático
  [ busca Google | busca Bing ]
10. FREIRE, RODRIGO A.; Teoria de Galois Tradicional. 2011. 0. Curso de curta duração ministrado/Outra
  [ busca Google | busca Bing ]
11. FREIRE, RODRIGO A.; TAUSK, D. V.. Ordinals: A Study Guide. 2010. Desenvolvimento de material didático ou instrucional - Material didático
  [ busca Google | busca Bing ]

Produção artística

Total de produção artística (0)

Orientações em andamento

Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (1)
1. Gustavo Schimidt Joau e Silva. Interpretação Dialética: Sobre a Medida do não-Construtivo. Dissertação (Mestrado em Filosofia) - Universidade de Brasília, . Início: 2019.
  Orientador: Rodrigo de Alvarenga Freire.
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Supervisões e orientações concluídas

Supervisão de pós-doutorado (1)
1. Edgar Luis Bezerra de Almeida. . Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
  Supervisor: Rodrigo de Alvarenga Freire.
Tese de doutorado (2)

Alfredo Roque de Oliveira Freire Filho. Estudo Comparado do Comprometimento Ontológico das Teorias de Classes e Conjuntos. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019.
Supervisor: Rodrigo de Alvarenga Freire.
Edgar Luis Bezerra de Almeida. Análise das Condições de Verdade e dos Requerimentos Existenciais em Axiomatizações da Aritmética. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Supervisor: Rodrigo de Alvarenga Freire.
Dissertação de mestrado (2)

Luiza Silva Porto Ramos. A Demanda por Demonstrações de Consistência nos Fundamentos da Matemática. Dissertação (Mestrado em METAFÍSICA) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Rodrigo de Alvarenga Freire.
Daniel de Albuquerque Violato. Atualizando Kant: Avaliação da Identidade entre Lógica Transcendental e Lógica Geométrica. Dissertação (Mestrado em Filosofia) - Universidade de Brasília, . 2019.
Orientador: Rodrigo de Alvarenga Freire.
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (2)

Agnes Calado Coimbra. Paradoxos da Vagueza e da Racionalidade. Iniciação Científica - Universidade de Brasília, Fundação de Apoio à Pesquisa do Distrito Federal. 2019.
Orientador: Rodrigo de Alvarenga Freire.
Mateus de Carvalho Maia. Sobre a Natureza da Metalógica Infinitária. (Graduando em Abi - Filosofia) - Universidade de Brasília, Fundação de Apoio à Pesquisa do Distrito Federal. 2018.
Orientador: Rodrigo de Alvarenga Freire.
Orientações de outra natureza (0)

Projetos de pesquisa

Total de projetos de pesquisa (4)

2019-Atual. Fundamentos da Logica e Teoria de Conjuntos
Situação: Em andamento; Natureza: Pesquisa. Integrantes: Rodrigo de Alvarenga Freire - Coordenador / Edgar Luis Bezerra de Almeida - Integrante / Luiza Silva Porto Ramos - Integrante / Daniel Arvage Nagase - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Rodrigo de Alvarenga Freire.
2018-Atual. Arbitrariedade e Genericidade
Descrição: Projeto jovem pesquisador que visa investigar os fundamentos da teoria de conjuntos com especial atenção às noções de conjunto arbitrário e conjunto genérico.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (1) . Integrantes: Rodrigo de Alvarenga Freire - Integrante / Hugo Luiz Mariano - Integrante / Marco Antonio Caron Ruffino - Integrante / Giorgio Venturi - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Rodrigo de Alvarenga Freire.
2012-Atual. Fundamentos da Logica Abstrata
Descrição: Neste projeto investigamos sistemas clássicos com quantificadores, tais como subsistemas da lógica de primeira ordem, lógica infinitária e o fragmento existencial da lógica de segunda ordem. Visamos, a partir da noção de definibilidade, desenvolver uma nova concepção de lógica abstrata que nos leve a caracterizações modelo-teóricas relevantes de sistemas de interesse.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Rodrigo de Alvarenga Freire - Coordenador / Hugo Luiz Mariano - Integrante / Luiza Silva Porto Ramos - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra. Número de produções C, T A: 6
Membro: Rodrigo de Alvarenga Freire.
2010-Atual. Fundamentos de Teorias de Conjuntos e Classes
Descrição: Este projeto é dedicado à análise, comparada e não-comparada, de teorias de conjuntos e classes segundo noções fundamentais para a filosofia da matemática. Estamos especialmente interessados em investigar as noções de verdade, interpretação, importe existencial, consistência relativa e conservatividade nas teorias de Zermelo-Fraenkel, von Neumann-Bernays-Goedel e em sistemas relacionados.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Rodrigo de Alvarenga Freire - Coordenador / Edgar Luis Bezerra de Almeida - Integrante / Alfredo Roque de Oliveira Freire - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Outra / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra. Número de produções C, T A: 14 / Número de orientações: 1
Membro: Rodrigo de Alvarenga Freire.

Prêmios e títulos

Total de prêmios e títulos (1)

Prêmio Newton da Costa de Lógica, Sociedade Brasileira de Lógica.. 2015.
Membro: Rodrigo de Alvarenga Freire.

Participação em eventos

Total de participação em eventos (0)

Organização de eventos

Total de organização de eventos (5)

FREIRE, RODRIGO A.; JUNQUEIRA, L. R. ; MARIANO, H. L. ; VENTURI, G.. Workshop Studies in Mathematical Logic. 2019. Outro
FREIRE, RODRIGO A.; COSTA-LEITE, A. F. B.. Seminário Permanente Lógica no Avião. 2019. Outro
BACELLAR, R. ; SOUZA, E. G. ; COSTA-LEITE, A. F. B. ; FREIRE, RODRIGO A.. Colóquio UnB - USP de Lógica e Filosofia da Lógica. 2018. Outro
VENTURI, G. ; MARIANO, H. L. ; FREIRE, RODRIGO A.. Cantor Meets Robinson - Set Theory, Model Theory and Their Philosophy. 2018. Outro
LACOUR, P. ; COSTA-LEITE, A. F. B. ; FREIRE, RODRIGO A.. Colóquio As Formas da Razão. 2018. Outro

Lista de colaborações

Colaborações endôgenas (2)

Rodrigo de Alvarenga Freire ⇔ João Fernando Schwarz (1.0)
FREIRE, RODRIGO A.; SCHWARZ, J. F. ; TAUSK, D. V.. The Axioms of ZFC Set Theory. 2011. Apresentação de Trabalho/Conferência ou palestra

Rodrigo de Alvarenga Freire ⇔ João Fernando Schwarz (1.0)
FREIRE, RODRIGO A.; SCHWARZ, J. F. ; TAUSK, D. V.. The Axioms of ZFC Set Theory. 2011. Apresentação de Trabalho/Conferência ou palestra

(*) Relatório criado com produções desde 2000 até 2020
Data de processamento: 08/04/2021 13:04:32

Relatório gerado por scriptLattes V8.11. Os resultados estão sujeitos a falhas devido a inconsistências no preenchimento dos CVs Lattes. E-mail de contato: webmaster@ime.usp.br