Geodesic
Questioni di teoria dei modelli per linguaggi universali positivi. II: Metodi di "back and forth"
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 59 (1975) no. 5, pp. 328-335 Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica

Voir la notice de l'article

In this paper we continue the investigations of a previous one, givinga back and forth characterization of L—equivalence, where L is an universal positive (u.p.)language. The key idea is to use partial abridgments in place of partial isomorphisms. This allows us to proceed in the same way as in the classical characterization of elementary equivalence. These results and those (1) by Barwise and Schlipf on recursively saturated models are used to get a Robinson Consistency Theorem for u.p. and negation of u.p. sentences. It follows that, given u.p. or negation of u.p. sentences $\alpha,\beta$, the interpolating sentence can be chosen u.p. or negation of u.p. Finally we discuss Craig's Theorem for u.p. languages. 
@article{RLINA_1975_8_59_5_a3,
     author = {Tulipani, Sauro},
     title = {Questioni di teoria dei modelli per linguaggi universali positivi. {II:} {Metodi} di "back and forth"},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {328--335},
     year = {1975},
     volume = {Ser. 8, 59},
     number = {5},
     zbl = {0363.02057},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1975_8_59_5_a3/}
}
TY  - JOUR
AU  - Tulipani, Sauro
TI  - Questioni di teoria dei modelli per linguaggi universali positivi. II: Metodi di "back and forth"
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1975
SP  - 328
EP  - 335
VL  - 59
IS  - 5
UR  - http://geodesic.mathdoc.fr/item/RLINA_1975_8_59_5_a3/
LA  - it
ID  - RLINA_1975_8_59_5_a3
ER  - 
%0 Journal Article
%A Tulipani, Sauro
%T Questioni di teoria dei modelli per linguaggi universali positivi. II: Metodi di "back and forth"
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1975
%P 328-335
%V 59
%N 5
%U http://geodesic.mathdoc.fr/item/RLINA_1975_8_59_5_a3/
%G it
%F RLINA_1975_8_59_5_a3
Tulipani, Sauro. Questioni di teoria dei modelli per linguaggi universali positivi. II: Metodi di "back and forth". Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 59 (1975) no. 5, pp. 328-335. http://geodesic.mathdoc.fr/item/RLINA_1975_8_59_5_a3/

[1] K. J. Barwise e J. Schlipf (1975) - Recursively saturated and resplendent models. To appear. | DOI | MR | Zbl

[2] C. C. Chang e H. J. Keisler (1973) - Model Theory. Amsterdam. | MR

[3] R. Fraissé (1954) - Sur quelques classifications des systèmes de relations, «Publ. Sci. Univ. Alger.», Sér A 1, 35-182. | MR

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

[5] J. A. Makowsky e S. Tulipani (1975) - Some model theory for monotone quantifiers. In preparazione. | MR

[6] A. Marcja e S. Tulipani (1974) - Questioni di teoria dei modelli per linguaggi universali positivi, I, «Acc. Lincei Rend, della Cl. Sc. fis. mat. e nat.», Ser. VIII, 51 (6). | MR | Zbl

[7] A. Robinson (1956) - A result on consistency and its application to the theory of definition, «Indag. Math.», 18, 47-58. | MR | Zbl

[8] A. Robinson (1974) - Introduzione alla teoria dei modelli e alla metamatematica dell'algebra. Boringhieri.