David William Miller | Warwick University - Inglaterra

• Processo: 96/01096-4
• Modalidade de apoio: Auxílio à Pesquisa - Pesquisador Visitante - Internacional
• Data de Início da vigência: 19 de março de 1996
• Data de Término da vigência: 18 de abril de 1996
• Área do conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Jair Minoro Abe
• Beneficiário: Jair Minoro Abe
• Pesquisador visitante: David William Miller
• Instituição do Pesquisador Visitante: University of Warwick, Inglaterra
• Instituição Sede: Instituto de Estudos Avançados (IEA). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Topologia
• Palavra(s)-Chave do Pesquisador: Logiac Abstrata | Logica | Teoria Saturada | Teorias Maximais | Topologia

Resumo

Sob uma topologia familiar, devida a Stone, a classe C de teorias completas maximais de um cálculo baseado na lógica clássica constitui um espaço compacto, separável, de dimensão zero (e, portanto, totalmente desconexo). Investigaremos topologias associadas a cálculos mais gerais. (AU)