FUNÇÕES DE PRIMEIRA ORDEM E n-TIPOS

  • Rodrigo A. Freire

Abstract

Este artigo é dedicado ao estudo dos n-tipos, para uma assinatura relacional finita, do ponto de vista da teoria das funções de primeira ordem. As noções principais da teoria das funções de primeira ordemserão apresentadas na primeira seção. Em seguida, os n-tipos serão definidos dentro dessa teoria, o que constitui uma perspectiva nova sobre o assunto. Os tópicos de eliminação de quantificadores dos espaços de n-tipos serão analisados dentro desse ponto de vista.

 

Downloads

Download data is not yet available.
Published
2015-09-18
Section
Artigos