O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting (2000)
- Authors:
- Autor USP: BRUNNER, ANDREAS BERNHARD MICHAEL - IME
- Unidade: IME
- Sigla do Departamento: MAT
- Subjects: LÓGICA MATEMÁTICA; TEORIA DOS MODELOS
- Language: Português
- Abstract: O trabalho presente trata de teoria dos modelos em feixes de L-estruturas sobre uma álgebra de Heyting completa 'omega'. Modificando a noção dos símbolos de constantes de uma linguagem de primeira ordem, admitindo uma existência parcial, generalizamos o método dos diagramas e diagramas elementares devido a A. Robinson para L-estruturas na categoria 'pSh(omega)'. Além disso, melhoramos o teorema de Fraïssé aparecendo em [6] para L-estruturas na categoria 1Sh(omega)'. Demonstramos o teorema da completude em todos os detalhes para feixes de L-estruturas; mostramos que para toda teoria intuicionista consistente podemos construir - usando a álgebra de Lindenbaum - um feixe de L-estruturas sobre uma álgebra de Heyting completa. Também demonstramos para a linguagem L# - uma linguagem usual de primeira ordem sem o quantificador universal - o teorema de existência de modelos para feixes sobre espaços topológicos. Para isso, introduzimos o espaço espectral das extensões primas. Finalmente, generalizamos o teorema de omissão de tipos para lógica intuicionista, usando o teorema de existência de modelos e o teorema de Baire
- Imprenta:
- Data da defesa: 18.09.2000
-
ABNT
BRUNNER, Andreas Bernhard Michael. O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting. 2000. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2000. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/. Acesso em: 21 jul. 2024. -
APA
Brunner, A. B. M. (2000). O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/ -
NLM
Brunner ABM. O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting [Internet]. 2000 ;[citado 2024 jul. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/ -
Vancouver
Brunner ABM. O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting [Internet]. 2000 ;[citado 2024 jul. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas