Lógica de topos e aplicações (2019)
- Authors:
- Autor USP: CAHALI, ARTHUR FRANCISCO SCHWERZ - IME
- Unidade: IME
- Sigla do Departamento: MAT
- DOI: 10.11606/D.45.2019.tde-17072019-150841
- 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
- Status:
- Artigo publicado em periódico de acesso aberto (Gold Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
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: https://teses.usp.br/teses/disponiveis/45/45131/tde-17072019-150841/. Acesso em: 01 abr. 2026. -
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 https://teses.usp.br/teses/disponiveis/45/45131/tde-17072019-150841/ -
NLM
Cahali AFS. Lógica de topos e aplicações [Internet]. 2019 ;[citado 2026 abr. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-17072019-150841/ -
Vancouver
Cahali AFS. Lógica de topos e aplicações [Internet]. 2019 ;[citado 2026 abr. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-17072019-150841/
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
