Locally finite theories with model companion
Lipparini, Paolo
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 72 (1982), p. 6-11 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

Si dà, mediante condizioni per l'amalgamabilità di tre modelli, una caratterizzazione completa delle teorie localmente finite con model-compagno. Si introduce inoltre un concetto intermedio tra quelli di model-compagno e model-completamento.

Publié le : 1982-01-01
@article{RLINA_1982_8_72_1_6_0,
     author = {Paolo Lipparini},
     title = {Locally finite theories with model companion},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {72},
     year = {1982},
     pages = {6-11},
     zbl = {0524.03021},
     mrnumber = {0726084},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RLINA_1982_8_72_1_6_0}
}

Lipparini, Paolo. Locally finite theories with model companion. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 72 (1982) pp. 6-11. http://gdmltest.u-ga.fr/item/RLINA_1982_8_72_1_6_0/

[1] Bacsich, P.D. (1973) - Primality and model completions, «Alg.Univ.», 3, pp.265-270. | Zbl 0308.02052

[2] Chang, C.C. and Keisler, H.J. (1973) - Model theory, Amsterdam. | Zbl 0276.02032

[3] Gratzer, G. (1979) - Universal Algebra, New York.

[4] Hirschfeld, J. and Wheeler, W.H. (1975) - Forcing, Arithmetic and division rings, Berlin. | Zbl 0304.02024

[5] Lipparini, P. - Existentially complete closure algebras, to appear on «Boll. U. M. I.», Supplemento per l'algebra e la geometria.

[6] Morley, M. and Vaught, R. (1962) - Homogeneous universal models, «Math.Scand.», 11, pp. 37-57. | Zbl 0112.00603

[7] Wheeler, W.H. (1976) - Model companions and definability in existentially complete structures, «Isr. J. of Math.», vol. 25, pp. 252-277.

[8] Wheeler, W.H. (1978) - A characterization of companionable, universal theories, «J. Symb. Log.», 43, pp. 402-429. | Zbl 0391.03019