Questioni di teoria dei modelli per linguaggi universali positivi. II: Metodi di "back and forth"
Tulipani, Sauro
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 59 (1975), p. 328-335 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

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 α,β, the interpolating sentence can be chosen u.p. or negation of u.p. Finally we discuss Craig's Theorem for u.p. languages.

Publié le : 1975-11-01
@article{RLINA_1975_8_59_5_328_0,
     author = {Sauro Tulipani},
     title = {Questioni di teoria dei modelli per linguaggi universali positivi. II: Metodi di "back and forth"},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {59},
     year = {1975},
     pages = {328-335},
     zbl = {0363.02057},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RLINA_1975_8_59_5_328_0}
}

Tulipani, Sauro. Questioni di teoria dei modelli per linguaggi universali positivi. II: Metodi di "back and forth". Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 59 (1975) pp. 328-335. http://gdmltest.u-ga.fr/item/RLINA_1975_8_59_5_328_0/

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

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

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

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

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

[6] Marcja, A. e Tulipani, S. (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 389578 | Zbl 0317.02055

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

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