Os sistemas "T" e "*T" de da costa (duas teorias de conjuntos)

• Processo: 00/12220-5
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de abril de 2001
• Data de Término da vigência: 31 de março de 2003
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Newton Carneiro Affonso da Costa
• Beneficiário: Christian Alejandro Diaz Garcia
• Instituição Sede: Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Teoria dos conjuntos Categorias
• Palavra(s)-Chave do Pesquisador: Teoria De Conjuntos | Teoria De Tipos

Resumo

Desenvolveremos os sistemas T e T, duas teorias de conjuntos, devidas a Newton da Costa. Tais sistemas têm a sua importância de servirem como alicerce à teoria das categorias. (Lembremos que a teoria das categorias precisa da existência de conjuntos 'muito grandes' o que não se pode provar nos sistemas usuais, digamos, o sistema de Zermelo-Fraenkel, de Morse-Kelley, entre outros). (AU)