• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Master's Dissertation
DOI
https://doi.org/10.11606/D.45.1997.tde-20210729-014019
Document
Author
Full name
Hugo Luiz Mariano
E-mail
Institute/School/College
Knowledge Area
Date of Defense
Published
São Paulo, 1997
Supervisor
Title in Portuguese
Categorias modeláveis
Keywords in Portuguese
Lógica Matemática
Abstract in Portuguese
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
Title in English
not available
Abstract in English
After 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 categories
 
WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
MarianoHugoLuiz.pdf (15.10 Mbytes)
Publishing Date
2021-07-29
 
WARNING: Learn what derived works are clicking here.
All rights of the thesis/dissertation are from the authors
CeTI-SC/STI
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2024. All rights reserved.