In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?
Hien, Bui Huy ; Sain, I.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 24 (1983), p. 215-222 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1983-01-01
@article{CTGDC_1983__24_2_215_0,
     author = {Hien, Bui Huy and Sain, I.},
     title = {In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     volume = {24},
     year = {1983},
     pages = {215-222},
     mrnumber = {710042},
     zbl = {0519.18003},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CTGDC_1983__24_2_215_0}
}

Hien, Bui Huy; Sain, I. In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 24 (1983) pp. 215-222. http://gdmltest.u-ga.fr/item/CTGDC_1983__24_2_215_0/

1 Andreka, H. & Nemeti, I., os L emma holds in every category, Studia Sci. Math. Hungar. 13 (1978), 361- 376. | MR 620148 | Zbl 0502.03015

2 Andr Eka, H. & Nemeti, I., Formulas and ultraproducts in categories, Beitrage z ur Algebra und G eome tri e 8 (1979), 13 3-151. | MR 571360 | Zbl 0531.03042

3 Henkin, L., Monk, J.D., Tarski, A., Andreka, H. & Nemeti, I., Cylindric set algebras, Lecture Notes in Math. 883, Springer (1981). | MR 639151 | Zbl 0497.03025

4 Herrlich, H. & Strecker, G.E., Category Theory, Allyn & Bacon, 1973. | MR 349791 | Zbl 0265.18001

5 Hien, B.H., & Sain, I., Elementary classes in the injective subcategories approach to abstract model theory, Preprint 15 / 1982 Math. Inst. Hun g. A cad. Sc. Budapest. Part of this is to appear in Periddica Math. Hungar. | MR 744985 | Zbl 0631.03025

6 Nemeti, I., Connections between cylindric algebras and initial algebra semantics of CF languages, Colloq. Math. Soc. Bolyai 26, North Holland (1981), 561. | Zbl 0502.68024

7 Nemeti, I. & Sain, I., Cone implicational subcategories and some Birkhoff type theorems, Colloq. Math. Soc. Bolyai 29, North Holland (1981), 535-578. | MR 660893 | Zbl 0495.18001

8 Fakir, J.& Haddad, L., Objets cohérents et ultraproduits dans les catégories, J. of Algebra 21- 3 (1972). | MR 311742 | Zbl 0248.18021

9 Guitart, R. & Lair, C., Calcul syntaxique des modèles et calcul des for-mules internes, Diagrammes 4 (1980). | Numdam | MR 684746 | Zbl 0508.03030

10 Andreka, H. & Ne Meti, L., Injectivity in categories to represent all first order formulas, Demonstratio. Math. 12 (1979), 717-732. | MR 560363 | Zbl 0517.03029

11 Hien, B.H., Nemeti, I. & Sain, I., Category theoretic notions of ultraproducts, Preprint 19/ 1982, Math. Inst. Acad. Sc., Budapest. Part of this is to appear in Studia Math. Sc. Hungar. | MR 787936