Formulas and ultraproducts in categories
HAJNALKA ANDRÉKA; ISTVÁN NÉMETI
Beiträge zur Algebra und Geometrie = Contributions to algebra and geometry (1979)
- Volume: 8, page 133-151
- ISSN: 0138-4821; 2191-0383/e
Access Full Article
topHow to cite
topANDRÉKA, HAJNALKA, and NÉMETI, ISTVÁN. "Formulas and ultraproducts in categories." Beiträge zur Algebra und Geometrie = Contributions to algebra and geometry 8 (1979): 133-151. <http://eudml.org/doc/138161>.
@article{ANDRÉKA1979,
author = {ANDRÉKA, HAJNALKA, NÉMETI, ISTVÁN},
journal = {Beiträge zur Algebra und Geometrie = Contributions to algebra and geometry},
keywords = {formulas; ultraproducts; universal algebra; model theory; small HS-cones},
pages = {133-151},
title = {Formulas and ultraproducts in categories},
url = {http://eudml.org/doc/138161},
volume = {8},
year = {1979},
}
TY - JOUR
AU - ANDRÉKA, HAJNALKA
AU - NÉMETI, ISTVÁN
TI - Formulas and ultraproducts in categories
JO - Beiträge zur Algebra und Geometrie = Contributions to algebra and geometry
PY - 1979
VL - 8
SP - 133
EP - 151
KW - formulas; ultraproducts; universal algebra; model theory; small HS-cones
UR - http://eudml.org/doc/138161
ER -
Citations in EuDML Documents
top- I. Sain, Weak products for universal algebra and model theory
- I. Néméti, Foundations for stepwise refinement of program specifications via cylindric algebra theory
- Bui Huy Hien, I. Sain, In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?
- Ildikó Sain, Weak products of universal algebras
- R. Guitart, C. Lair, Limites et co-limites pour représenter les formules
- R. Guitart, C. Lair, Existence de diagrammes localement libres
- R. Guitart, C. Lair, Calcul syntaxique des modèles et calcul des formules internes
- R. Guitart, C. Lair, Existence de diagrammes localement libres II
- René Guitart, On the geometry of computations, II
- René Guitart, On the geometry of computations
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.