Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/334956
Type: TESE DIGITAL
Degree Level: Doutorado
Title: Noções de localidade de lógicas baseadas em categorias modelo de Quillen sobre estruturas finitas : Quillen model categories-based notions of locality of logics over finite structures
Title Alternative: Quillen model categories-based notions of locality of logics over finite structures
Author: Maia, Hendrick, 1981-
Advisor: Coniglio, Marcelo Esteban, 1963-
Abstract: Resumo: No decorrer desta tese, eu desenvolvo um framework baseado em categorias modelo de Quillen para lidar com noções de localidade, em particular, Hanf/Gaifman localidades

Abstract: In the course of this thesis, I develop a framework based on Quillen model categories to deal with notions of locality, in particular, Hanf-locality and Gaifman-locality
Subject: Quillen, Daniel Gray, 1940-2011
Categorias (Matemática)
Lógica simbólica e matemática
Language: Português
Editor: [s.n.]
Citation: MAIA, Hendrick. Noções de localidade de lógicas baseadas em categorias modelo de Quillen sobre estruturas finitas: Quillen model categories-based notions of locality of logics over finite structures. 2019. 1 recurso online (137 p.). Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP.
Date Issue: 2019
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Silva_HendrickCordeiroMaiaE_D.pdf881.91 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.