Categorias modeláveis (1997)
- Authors:
- Autor USP: MARIANO, HUGO LUIZ - IME
- Unidade: IME
- Sigla do Departamento: MAT
- Assunto: LÓGICA MATEMÁTICA
- Agências de fomento:
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 27.08.1997
-
ABNT
MARIANO, Hugo Luiz. Categorias modeláveis. 1997. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1997. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014019/. Acesso em: 27 dez. 2025. -
APA
Mariano, H. L. (1997). Categorias modeláveis (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014019/ -
NLM
Mariano HL. Categorias modeláveis [Internet]. 1997 ;[citado 2025 dez. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014019/ -
Vancouver
Mariano HL. Categorias modeláveis [Internet]. 1997 ;[citado 2025 dez. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014019/ - A global approach to AECs
- Towards a good notion of categories of logics
- Remarks on propositional logics and the categorial relationship between institutions and Π-institutions
- Categorial forms of the axiom of choice
- κ-filter pairs and non-finitary logics
- Representation theory of logics: a categorial approach
- Realizing profinite reduced special groups
- Algebraizable logics and a functorial encoding of its morphisms
- A festschrift for Francisco Miraglia. [Foreword]
- Horn filter pairs and Craig interpolation property
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
