Busca avançada
Ano de início
Entree

Forcing, submodelos simétricos e modelos onde falha o axioma da escolha

Processo: 21/03721-7
Modalidade de apoio:Bolsas no Brasil - Iniciação Científica
Data de Início da vigência: 01 de junho de 2021
Data de Término da vigência: 28 de fevereiro de 2022
Área de conhecimento:Ciências Exatas e da Terra - Matemática
Pesquisador responsável:Artur Hideyuki Tomita
Beneficiário:Guilherme de Sousa Sobreira
Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
Assunto(s):Espaços simétricos   Axioma   Teoria dos conjuntos
Palavra(s)-Chave do Pesquisador:Axioma da Escolha | forcing | Submodelos Simétricos | Teoria dos Conjuntos

Resumo

Neste projeto estudaremos as aplicações de Forcing e métodos de Submodelos Simétricos no estudo das consequências do Axioma da Escolha, por meio do estudo detalhado da construção de modelos de ZF onde conhecidas implicações de AC passam a não valer.

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)