In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?

Bui Huy Hien; I. Sain

Cahiers de Topologie et Géométrie Différentielle Catégoriques (1983)

  • Volume: 24, Issue: 2, page 215-222
  • ISSN: 1245-530X

How to cite

top

Hien, Bui Huy, and Sain, I.. "In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?." Cahiers de Topologie et Géométrie Différentielle Catégoriques 24.2 (1983): 215-222. <http://eudml.org/doc/91328>.

@article{Hien1983,
author = {Hien, Bui Huy, Sain, I.},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {ultraproducts; trees; injectivity; Los Lemma},
language = {eng},
number = {2},
pages = {215-222},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?},
url = {http://eudml.org/doc/91328},
volume = {24},
year = {1983},
}

TY - JOUR
AU - Hien, Bui Huy
AU - Sain, I.
TI - In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1983
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 24
IS - 2
SP - 215
EP - 222
LA - eng
KW - ultraproducts; trees; injectivity; Los Lemma
UR - http://eudml.org/doc/91328
ER -

References

top
  1. 1 Andreka, H. & Nemeti, I., os L emma holds in every category, Studia Sci. Math. Hungar.13 (1978), 361- 376. Zbl0502.03015MR620148
  2. 2 Andr Eka, H. & Nemeti, I., Formulas and ultraproducts in categories, Beitrage z ur Algebra und G eome tri e8 (1979), 133-151. Zbl0531.03042MR571360
  3. 3 Henkin, L., Monk, J.D., Tarski, A., Andreka, H. & Nemeti, I., Cylindric set algebras, Lecture Notes in Math.883, Springer (1981). Zbl0497.03025MR639151
  4. 4 Herrlich, H. & Strecker, G.E., Category Theory, Allyn & Bacon, 1973. Zbl0265.18001MR349791
  5. 5 Hien, B.H., & Sain, I., Elementary classes in the injective subcategories approach to abstract model theory, Preprint 15 / 1982Math. Inst. Hun g. A cad. Sc. Budapest. Part of this is to appear in Periddica Math. Hungar. Zbl0631.03025MR744985
  6. 6 Nemeti, I., Connections between cylindric algebras and initial algebra semantics of CF languages, Colloq. Math. Soc. Bolyai26, North Holland (1981), 561. Zbl0502.68024
  7. 7 Nemeti, I. & Sain, I., Cone implicational subcategories and some Birkhoff type theorems, Colloq. Math. Soc. Bolyai29, North Holland (1981), 535-578. Zbl0495.18001MR660893
  8. 8 Fakir, J.& Haddad, L., Objets cohérents et ultraproduits dans les catégories, J. of Algebra21- 3 (1972). Zbl0248.18021MR311742
  9. 9 Guitart, R. & Lair, C., Calcul syntaxique des modèles et calcul des for-mules internes, Diagrammes4 (1980). Zbl0508.03030MR684746
  10. 10 Andreka, H. & Ne Meti, L., Injectivity in categories to represent all first order formulas, Demonstratio. Math.12 (1979), 717-732. Zbl0517.03029MR560363
  11. 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. MR787936

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.