A lógica dos feixes sobre quantais right-sided e idempotentes

Autor(es)

Marcelo Esteban Coniglio

• Tipo de documento: Tese de Doutorado
• Imprenta: São Paulo.
• Instituição: Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI)
• Data de defesa: 1997-08-13
• Orientador: Francisco Miraglia Neto

Resumo

Neste trabalho, apresentamos uma lógica de primeira ordem com tipos para as categorias Psh(Q) e Sh(Q) dos prefeixes e feixes sobre quantais (right-sided e idempotentes). São estudadas as propriedades das operações lógicas entre sub-objetos em Psh(Q) com relação ao cálculo da imagem inversa por morfismos (interpretando a substituição de uma variável por um termo numa fórmula), estabelecendo condições suficientes, expressáveis na linguagem de primeira ordem, que garantem a preservação das operações. Em particular, é discutida a noção de extensão de sub-prefeixes -construídos a partir de sub-prefeixes elementares- por novos prefeixes, inerente ao processo de combinar fórmulas com variáveis de tipos diferentes. Portanto, as regras de lógica possuem cláusulas que prescrevem as condições de extensão, o que garante a corretude da lógica. São analizadas propriedades de primeira ordem das relações binárias em Psh(Q), assim algumas estruturas algébricas, tais como anéis, módulos e corpos. É provado na lógica um teorema de I. Kaplansky, que diz serem livre os módulos projetivos finitamente gerados sobre um anel local (AU)

• Processo FAPESP: 96/04931-1 - Logica linear, quantias e a representacao de algebras c*.
• Beneficiário: Marcelo Esteban Coniglio
• Modalidade de apoio: Bolsas no Brasil - Doutorado