Lógica de topos e aplicações (2019)
- Authors:
- Autor USP: CAHALI, ARTHUR FRANCISCO SCHWERZ - IME
- Unidade: IME
- Sigla do Departamento: MAT
- Subjects: GEOMETRIA ALGÉBRICA; LÓGICA CATEGÓRICA
- Keywords: Categorical logic; Heyting-valued models; Lógica categorial; Modelos Heyting-valorados; Topos; Topos
- Agências de fomento:
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 12.06.2019
-
ABNT
CAHALI, Arthur Francisco Schwerz. Lógica de topos e aplicações. 2019. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17072019-150841/. Acesso em: 20 abr. 2024. -
APA
Cahali, A. F. S. (2019). Lógica de topos e aplicações (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17072019-150841/ -
NLM
Cahali AFS. Lógica de topos e aplicações [Internet]. 2019 ;[citado 2024 abr. 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17072019-150841/ -
Vancouver
Cahali AFS. Lógica de topos e aplicações [Internet]. 2019 ;[citado 2024 abr. 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17072019-150841/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas