Geodesic
Questioni di teoria dei modelli per linguaggi universali positivi
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 56 (1974) no. 6, pp. 915-923

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

Zbl MR
In this paper some model theoretical notions for universal positive languages are investigated. In §i and §2 we shall study the lattice of formulas, maximal and prime theories, and correlations between them. In §3, §4 we shall define some kind of morphisms and we shall characterize theories with quantifier elimination. 
Marcja, Annalisa; Tulipani, Sauro. Questioni di teoria dei modelli per linguaggi universali positivi. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 56 (1974) no. 6, pp. 915-923. http://geodesic.mathdoc.fr/item/RLINA_1974_8_56_6_a13/
@article{RLINA_1974_8_56_6_a13,
     author = {Marcja, Annalisa and Tulipani, Sauro},
     title = {Questioni di teoria dei modelli per linguaggi universali positivi},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {915--923},
     year = {1974},
     volume = {Ser. 8, 56},
     number = {6},
     zbl = {0317.02055},
     mrnumber = {0389578},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1974_8_56_6_a13/}
}
TY  - JOUR
AU  - Marcja, Annalisa
AU  - Tulipani, Sauro
TI  - Questioni di teoria dei modelli per linguaggi universali positivi
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1974
SP  - 915
EP  - 923
VL  - 56
IS  - 6
UR  - http://geodesic.mathdoc.fr/item/RLINA_1974_8_56_6_a13/
LA  - it
ID  - RLINA_1974_8_56_6_a13
ER  - 
%0 Journal Article
%A Marcja, Annalisa
%A Tulipani, Sauro
%T Questioni di teoria dei modelli per linguaggi universali positivi
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1974
%P 915-923
%V 56
%N 6
%U http://geodesic.mathdoc.fr/item/RLINA_1974_8_56_6_a13/
%G it
%F RLINA_1974_8_56_6_a13

[1] C. C. Change H. J. Keisler (1973) - Model Theory. Amsterdam. | MR

[2] E. R. Fisher e A. Robinson (1972) - Inductive theories and their forcing companions, «Israel J. Math.», 12, 95-107. | DOI | MR | Zbl

[3] H. J. Keisler (1960) - Theory of models with generalized atomic formulas, «J. Symbolic Logic», 25, 1-26. | DOI | MR | Zbl

[4] H. Rasiowa e R. Sikorski (1968) - Mathematics of metamathematics, Warszawa. | MR | Zbl

[5] G. E. Sacks (1972) - Saturated model theory. Reading. | MR

[6] A. Tarski (1968) - Equational logic and equational theories of algebras, in «Contributions to mathematical logic», Amsterdam. | MR