Categorias modeláveis

Detalhes bibliográficos
Autor(a) principal: Mariano, Hugo Luiz
Data de Publicação: 1997
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014019/
Resumo: 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
id USP_6bb7f5086471eac85bc10c3a4c1d32ea
oai_identifier_str oai:teses.usp.br:tde-20210729-014019
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Categorias modeláveisnot availableLógica MatemáticaApó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 categoriasAfter introducing the necessary set-theoretical and categorial basis, we presented the traditional combinatory and categorial-universal conceptions of structure specification through first-order sentences in infinitary logics and by sketches: projectives and inductives limits specifications. We verified the equivalency of such approaches, demonstrated caracterizations theorems for the models categories of such sintaxis and explored some properties of such class of categoriesBiblioteca Digitais de Teses e Dissertações da USPLuciano, Odilon OtávioMariano, Hugo Luiz1997-08-27info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014019/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2021-07-31T18:58:41Zoai:teses.usp.br:tde-20210729-014019Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212021-07-31T18:58:41Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Categorias modeláveis
not available
title Categorias modeláveis
spellingShingle Categorias modeláveis
Mariano, Hugo Luiz
Lógica Matemática
title_short Categorias modeláveis
title_full Categorias modeláveis
title_fullStr Categorias modeláveis
title_full_unstemmed Categorias modeláveis
title_sort Categorias modeláveis
author Mariano, Hugo Luiz
author_facet Mariano, Hugo Luiz
author_role author
dc.contributor.none.fl_str_mv Luciano, Odilon Otávio
dc.contributor.author.fl_str_mv Mariano, Hugo Luiz
dc.subject.por.fl_str_mv Lógica Matemática
topic Lógica Matemática
description 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
publishDate 1997
dc.date.none.fl_str_mv 1997-08-27
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014019/
url https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014019/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809090926056833024

Registros relacionados