A lógica dos feixes sobre quantais right-sided e idempotentes (1997)
- Authors:
- Autor USP: CONIGLIO, MARCELO ESTEBAN - IME
- Unidade: IME
- Sigla do Departamento: MAT
- Assunto: LÓGICA MATEMÁTICA
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 13.08.1997
-
ABNT
CONIGLIO, Marcelo Esteban. A lógica dos feixes sobre quantais right-sided e idempotentes. 1997. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1997. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014636/. Acesso em: 23 jan. 2026. -
APA
Coniglio, M. E. (1997). A lógica dos feixes sobre quantais right-sided e idempotentes (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014636/ -
NLM
Coniglio ME. A lógica dos feixes sobre quantais right-sided e idempotentes [Internet]. 1997 ;[citado 2026 jan. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014636/ -
Vancouver
Coniglio ME. A lógica dos feixes sobre quantais right-sided e idempotentes [Internet]. 1997 ;[citado 2026 jan. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014636/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
