Xavier Caicedo-Ferrer | Universidad de los Andes/Venezuela - Venezuela

• Processo: 92/00035-0
• Modalidade de apoio: Auxílio à Pesquisa - Pesquisador Visitante - Internacional
• Data de Início da vigência: 25 de julho de 1992
• Data de Término da vigência: 24 de dezembro de 1992
• Área do conhecimento: Ciências Exatas e da Terra - Matemática - Álgebra
• Pesquisador responsável: Antonio Mario Antunes Sette
• Beneficiário: Antonio Mario Antunes Sette
• Pesquisador visitante: Xavier Caicedo-Ferrer
• Instituição do Pesquisador Visitante: Universidad de los Andes, Venezuela (ULA), Venezuela
• Instituição Sede: Instituto de Matemática, Estatística e Computação Científica (IMECC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Lógica algébrica Álgebra abstrata Teoria dos modelos Intercâmbio de pesquisadores

Resumo

1 - Dar continuidade às pesquisas conjuntas que temos feito na área de Model-Theoretic Logica (Teoria abstrata dos modelos) e Teoria de modelos de feixes de estruturas. 2 - Curso a nível de pós-graduação sobre Teoria Abstrata dos Modelos. 3 - Seminário avançado sobre os tônicos citados em 1. 4 - Participação nos Seminários regulares de Lógica do CLE (Centro de Lógica, Epistemologia e História da Ciência da UNICAMP) com a participação de pesquisadores (do IMECC e do IFCH) e alunos de pós-graduação. (AU)