• 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
 
 
Tesis Doctoral
DOI
https://doi.org/10.11606/T.45.2000.tde-20210729-123425
Documento
Autor
Nombre completo
Andreas Bernhard Michael Brunner
Dirección Electrónica
Instituto/Escuela/Facultad
Área de Conocimiento
Fecha de Defensa
Publicación
São Paulo, 2000
Director
Título en portugués
O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting
Palabras clave en portugués
Lógica Matemática
Teoria Dos Modelos
Resumen en 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 en inglés
not available
Resumen en 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
 
ADVERTENCIA - La consulta de este documento queda condicionada a la aceptación de las siguientes condiciones de uso:
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.
Fecha de Publicación
2021-07-29
 
ADVERTENCIA: Aprenda que son los trabajos derivados haciendo clic aquí.
Todos los derechos de la tesis/disertación pertenecen a los autores
CeTI-SC/STI
Biblioteca Digital de Tesis y Disertaciones de la USP. Copyright © 2001-2023. Todos los derechos reservados.