Idioma:

Categorias modeláveis

Mariano, Hugo Luiz

Acesso online. A biblioteca também possui exemplares impressos.

Título:
Categorias modeláveis
Autor: Mariano, Hugo Luiz
Orientador: Luciano, Odilon Otávio
Assuntos: Lógica Matemática
Notas: Dissertação (Mestrado)
Descrição: Após introduzirmos o embasamento conjuntista e categorial necessários, apresentamos as noções tradicional combinatória e catergorial universal de especificação de estruturas via sentenças de primeira ordem em lógicas infinitárias e por esboços, especificações de limites projetivos e indutivos. Verificamos a equivalência dessas abordagens, demonstramos teroremas de caracterização das categorias de modelos conjuntistas dessas sintaxes e exploramos algumas propriedades dessa classe de categorias
DOI: 10.11606/D.45.1997.tde-20210729-014019
Editor: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística
Data de criação/publicação: 1997-08-27
Formato: Adobe PDF
Idioma: Português

Links

Voltar para lista de resultados