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

Detalhes bibliográficos
Autor(a) principal: Maia, Hendrick, 1981-
Data de Publicação: 2019
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1637035
Resumo: Orientador: Marcelo Esteban Coniglio
id UNICAMP-30_e8d2b1e9f48a2cc6a30a33a0d8f85182
oai_identifier_str oai::1092501
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling 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 structuresQuillen model categories-based notions of locality of logics over finite structuresQuillen, Daniel Gray, 1940-2011Categorias (Matemática)Lógica simbólica e matemáticaQuillen, Daniel GrayCategories (Mathematics)Symbolic and mathematical logicOrientador: Marcelo Esteban ConiglioTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências HumanasResumo: 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 localidadesAbstract: 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-localityDoutoradoDoutor em FilosofiaCNPQ140719/2015-6[s.n.]Coniglio, Marcelo Esteban, 1963-Mariano, Hugo LuizBianconi, RicardoPinto, Darllan ConceiçãoD'Ottaviano, Itala Maria LoffredoUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASMaia, Hendrick, 1981-20192019-06-07T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf1 recurso online (137 p.) : il., digital, arquivo PDF.https://hdl.handle.net/20.500.12733/1637035MAIA, 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. Disponível em: https://hdl.handle.net/20.500.12733/1637035. Acesso em: 3 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/1092501Requisitos do sistema: Software para leitura de arquivo em PDFporreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2019-09-13T11:17:49Zoai::1092501Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2019-09-13T11:17:49Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv 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
Quillen model categories-based notions of locality of logics over finite structures
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
spellingShingle 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
Maia, Hendrick, 1981-
Quillen, Daniel Gray, 1940-2011
Categorias (Matemática)
Lógica simbólica e matemática
Quillen, Daniel Gray
Categories (Mathematics)
Symbolic and mathematical logic
title_short 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_full 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_fullStr 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_full_unstemmed 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_sort 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
author Maia, Hendrick, 1981-
author_facet Maia, Hendrick, 1981-
author_role author
dc.contributor.none.fl_str_mv Coniglio, Marcelo Esteban, 1963-
Mariano, Hugo Luiz
Bianconi, Ricardo
Pinto, Darllan Conceição
D'Ottaviano, Itala Maria Loffredo
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Maia, Hendrick, 1981-
dc.subject.por.fl_str_mv Quillen, Daniel Gray, 1940-2011
Categorias (Matemática)
Lógica simbólica e matemática
Quillen, Daniel Gray
Categories (Mathematics)
Symbolic and mathematical logic
topic Quillen, Daniel Gray, 1940-2011
Categorias (Matemática)
Lógica simbólica e matemática
Quillen, Daniel Gray
Categories (Mathematics)
Symbolic and mathematical logic
description Orientador: Marcelo Esteban Coniglio
publishDate 2019
dc.date.none.fl_str_mv 2019
2019-06-07T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1637035
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. Disponível em: https://hdl.handle.net/20.500.12733/1637035. Acesso em: 3 set. 2024.
url https://hdl.handle.net/20.500.12733/1637035
identifier_str_mv 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. Disponível em: https://hdl.handle.net/20.500.12733/1637035. Acesso em: 3 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/1092501
Requisitos do sistema: Software para leitura de arquivo em PDF
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
1 recurso online (137 p.) : il., digital, arquivo PDF.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809189148951576576

Registros relacionados