BR SPSIARQ AMA SETTE_PC_001
·
Item
·
05.05.1969.
Parte de Antonio Mário Antunes Sette
BR SPSIARQ AMA SETTE_PC_002
·
Item
·
1981
Parte de Antonio Mário Antunes Sette
BR SPSIARQ AMA SETTE_PC_003
·
Item
·
08.10.1973
Parte de Antonio Mário Antunes Sette
BR SPSIARQ AMA SETTE_PC_004
·
Item
·
1973
Parte de Antonio Mário Antunes Sette
BR SPSIARQ AMA SETTE_PC_005
·
Item
·
03.03.1975
Parte de Antonio Mário Antunes Sette
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."
Diretoria Geral de Recursos Humanos
BR SPSIARQ AMA SETTE_PC_006
·
Item
·
1975
Parte de Antonio Mário Antunes Sette
BR SPSIARQ AMA SETTE_PC_007
·
Item
·
[1981]
Parte de Antonio Mário Antunes Sette
BR SPSIARQ AMA SETTE_PC_008
·
Item
·
1980
Parte de Antonio Mário Antunes Sette
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."
Diretoria Geral de Recursos Humanos
BR SPSIARQ AMA SETTE_PC_009
·
Item
·
s.d
Parte de Antonio Mário Antunes Sette
BR SPSIARQ AMA SETTE_PC_010
·
Item
·
06.10.1975
Parte de Antonio Mário Antunes Sette
Le but de cette Note est d'étabilir um theoreme de representation pour les catégories EF1 (L).
Diretoria Geral de Recursos Humanos