Model-completion in categories
Georgescu, George ; Petrescu, Iona
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 59 (1975), p. 627-634 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

Per una categoria vengono introdotti gli analoghi dei concetti di "model-companion" e "model-completion" dovuti al Robinson, ottenendo poi varie conseguenze ed applicazioni ad essi relative.

Publié le : 1975-12-01
@article{RLINA_1975_8_59_6_627_0,
     author = {George Georgescu and Iona Petrescu},
     title = {Model-completion in categories},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {59},
     year = {1975},
     pages = {627-634},
     zbl = {0357.02052},
     mrnumber = {0505451},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RLINA_1975_8_59_6_627_0}
}

Georgescu, George; Petrescu, Iona. Model-completion in categories. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 59 (1975) pp. 627-634. http://gdmltest.u-ga.fr/item/RLINA_1975_8_59_6_627_0/

[1] Bacsich, P. (1973) - Primality and model-completions, «Algebra Universalis», 3, 265-269. | MR 351953 | Zbl 0308.02052

[2] Bell, J. and Slomson, A. (1969) - Models and Ultraproducts, North-Holland, Amsterdam. | MR 269486

[3] Bucur, I. and Deleanu, A. (1968) - Introduction to the Theory of Categories and Functors, New York. | MR 236236 | Zbl 0197.29205

[4] Cheklin, G. (1972) - The model-companion of a class of structures, «Journal of Symbolic Logic», 37, 546-556. | MR 379167

[5] Day, A. (1972) - Injectivity in equational classes of algebras, «Canadian Journal of Mathematics», 24, 209-220. | MR 291051 | Zbl 0254.08008

[6] Georgescu, G. and Vraciu, C. (1970) - On the Characterization of Centered Lukasiewicz Algebras, «J. of Algebra», 16. | MR 272609 | Zbl 0207.00703

[7] Hirschfeld, J. and Wheeler, W. (1975) - Forcing, arithmetic and division rings, Springer-Verlag, Berlin-Heidelberg-New York. | MR 389581 | Zbl 0304.02024

[8] Ohkuma, T. (1966) - Ultrapowers in categories, «Yokohama Math. J.», 14, 17-30. | MR 214524 | Zbl 0168.26801

[9] Moisil, Gr. C. (1972) - Essais sur les logiques non-chrissippiennes, Editura Academiei, Bucureşti. | MR 398774