| Processo: | 11/21024-0 |
| Modalidade de apoio: | Bolsas no Brasil - Iniciação Científica |
| Data de Início da vigência: | 01 de janeiro de 2012 |
| Data de Término da vigência: | 30 de novembro de 2014 |
| Área de conhecimento: | Ciências Exatas e da Terra - Matemática |
| Pesquisador responsável: | Leandro Fiorini Aurichi |
| Beneficiário: | Hugo Rafael de Oliveira Ribeiro |
| Instituição Sede: | Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil |
| Assunto(s): | Teoria dos conjuntos |
| Palavra(s)-Chave do Pesquisador: | axiomas | Fundamentos | Ideais | modelos | Fundamentos da Matemática |
Resumo Este projeto visa o estudo da parte básica de Lógica Matemática e de Teoria dos Conjuntos. Além desse básico serão desenvolvidas algumas técnicas destas áreas que se aplicam em outras áreas matemáticas tornando assim este projeto multiárea dentro da matemática pura. Dentre as técnicas a serem desenvolvidas, destacamos Teoria dos Modelos, princípio da boa ordem e axiomas extras a ZFC. Dentre as aplicações, podemos destacar a demonstração do Teorema dos Zeros de Hilbert via Teoria dos Modelos. (AU) | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |