• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Lógica de topos e aplicações / Topos logic and applications

Cahali, Arthur Francisco Schwerz 12 June 2019 (has links)
A primeira noção de topos, a de topos de Grothendieck, surgiu há cerca de 50 anos a partir de uma generalização do conceito de feixe na geometria algébrica. Poucos anos mais tarde, uma axiomatização categorial de algumas das propriedades de um topos de Grothendieck deu origem a uma segunda noção de topos, a de topos elementar; e essa descrição permitiu estabelecer ligações entre essas categorias e teoria dos conjuntos e lógica. Neste trabalho, estudamos a teoria de topos com um foco especial na construção da lógica interna dos topoi, e exploramos sua relação com modelos Heyting-valorados. / The first definition of a topos, that of a Grothendieck topos, emerged roughly 50 years ago from a generalization of the notion of sheaves in algebraic geometry. Few years later, a categorical axiomatization of some properties of Grothendieck topoi gave rise to a second notion of topoi, that of an elementary topos; and this description made it possible to establish connections between these categories and set theory and logic. In this work, we study topos theory with a particular focus on the construction of the internal logic of topoi, and explore its relation to Heyting-valued models.

Page generated in 0.0678 seconds