Geodesic
Locally finite theories with model companion
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 72 (1982) no. 1, pp. 6-11

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

Zbl   MR

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. 
Lipparini, Paolo. Locally finite theories with model companion. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 72 (1982) no. 1, pp. 6-11. http://geodesic.mathdoc.fr/item/RLINA_1982_8_72_1_a1/
@article{RLINA_1982_8_72_1_a1,
     author = {Lipparini, Paolo},
     title = {Locally finite theories with model companion},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {6--11},
     year = {1982},
     volume = {Ser. 8, 72},
     number = {1},
     zbl = {0524.03021},
     mrnumber = {0726084},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1982_8_72_1_a1/}
}
TY  - JOUR
AU  - Lipparini, Paolo
TI  - Locally finite theories with model companion
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1982
SP  - 6
EP  - 11
VL  - 72
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/RLINA_1982_8_72_1_a1/
LA  - en
ID  - RLINA_1982_8_72_1_a1
ER  - 
%0 Journal Article
%A Lipparini, Paolo
%T Locally finite theories with model companion
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1982
%P 6-11
%V 72
%N 1
%U http://geodesic.mathdoc.fr/item/RLINA_1982_8_72_1_a1/
%G en
%F RLINA_1982_8_72_1_a1

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

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

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

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

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

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

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

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