Combinatória Infinita e Modelos de Teoria dos Conjuntos

• Processo: 25/21953-3
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de janeiro de 2026
• Data de Término da vigência: 31 de dezembro de 2026
• Área de conhecimento: Ciências Exatas e da Terra - Matemática
• Pesquisador responsável: Vinicius de Oliveira Rodrigues
• Beneficiário: Carlos Eduardo Almeida Andrade
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Forcing Hipótese do contínuo Teoria dos conjuntos
• Palavra(s)-Chave do Pesquisador: Axioma de Martin | combinatória infinita | forcing | Hipótese do Contínuo | princípio diamante | teoria dos conjuntos | Teoria dos Conjuntos

Resumo

Este projeto de iniciação científica visa introduzir o estudante à combinatória infinita e à teoria dos conjuntos, com ênfase em tópicos como o Axioma de Martin, princípios combinatórios (como diamante), forcing e modelos de teoria dos conjuntos como L. O aluno será orientado na leitura de textos introdutórios e artigos científicos relevantes, desenvolvendo autonomia na compreensão de literatura matemática avançada. O projeto abordará conceitos fundamentais, técnicas modernas e aplicações, promovendo o amadurecimento matemático do estudante e colocando-o em contato direto com pesquisa contemporânea na área. (AU)