• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Tese de Doutorado
DOI
https://doi.org/10.11606/T.45.2000.tde-20210729-123425
Documento
Autor
Nome completo
Andreas Bernhard Michael Brunner
E-mail
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 2000
Orientador
Título em português
O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting
Palavras-chave em português
Lógica Matemática
Teoria Dos Modelos
Resumo em português
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
Título em inglês
not available
Resumo em inglês
The present work is dealing with model theory in sheaves of L-structures over a complete Heyting algebra 'omega'. Modifying the notion of the symbols of constantes in a first order language, allowing a parcial existence, we will generalize the method of diagrams and elementary diagrams originated by A. Robinson in the context o L-structures in the category 'pSh(omega)'. Further-more, we will improve Fraïssé's theorem, apearing in [6], for L-structures in the category 'Sh(OMEGA)'. In all details we will demonstrate the completeness theorem for sheaves of L-structures, for a intutionistic, consistent theory we will prove - using the Lindenbaum algebra - that we can construct a sheaf of L-structures over a complete Heyting algebra. We will demonstrate for a language L# - a usual first order language without the universal quantifier - the model existence theorem for sheaves over topological spaces. For this, we will introduce the spectral space of prime extensions. Using this model existence theorem and Baire's theorem, we will genweralize the ommiting types theorem for the intuitionistic logic
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2021-07-29
 
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2024. Todos os direitos reservados.