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
Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica
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.
@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
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/
[1] (1973) - Primality and model completions, «Alg.Univ.», 3, pp.265-270. | Zbl
[2] and (1973) - Model theory, Amsterdam. | Zbl
[3] (1979) - Universal Algebra, New York.
[4] and (1975) - Forcing, Arithmetic and division rings, Berlin. | Zbl
[5] - Existentially complete closure algebras, to appear on «Boll. U. M. I.», Supplemento per l'algebra e la geometria.
[6] and (1962) - Homogeneous universal models, «Math.Scand.», 11, pp. 37-57. | fulltext EuDML | Zbl
[7] (1976) - Model companions and definability in existentially complete structures, «Isr. J. of Math.», vol. 25, pp. 252-277.
[8] (1978) - A characterization of companionable, universal theories, «J. Symb. Log.», 43, pp. 402-429. | Zbl