De acordo com o autor: "Dans on étudie quelques conditions sur M pour que la théorie forcée M. soi saturée. On donne ici quelques conditions (sur M) pour que la théorie M soit [?]-catégorique. Em particulier on montre que Q est [?] catégorique et que ne l'ést pas."
Universidade Estadual de Campinas. Diretoria Geral de RecursosConsta no artigo: "In the paper we are concerned with a functional aproach to interpretability. In the firs part we preesent some know notions and rsults. In the second on we propose a general definition of first order interpretability and prove some results invloving this notion."
Universidade Estadual de Campinas. Diretoria Geral de RecursosLe but de cette Note est d'étabilir um theoreme de representation pour les catégories EF1 (L).
Universidade Estadual de Campinas. Diretoria Geral de Recursos