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."

Consta 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."

Le but de cette Note est d'étabilir um theoreme de representation pour les catégories EF1 (L).