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: 12 fev. 2026. -
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 2026 fev. 12 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014019/ -
Vancouver
Mariano HL. Categorias modeláveis [Internet]. 1997 ;[citado 2026 fev. 12 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-014019/ - Realizing profinite reduced special groups
- Representation theory of logics: a categorial approach
- On profinite structures
- Categorial forms of the axiom of choice
- Expansions of Galois theory in algebra: infinity Galois theory and applications
- Proceedings of the XVIII Brazilian Logic Conference. [Preface]
- Algebraizable logics and a functorial encoding of its morphisms
- A global approach to AECs
- Towards a good notion of categories of logics
- Contribuições à teoria dos grupos especiais
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
