Weak products for universal algebra and model theory
Diagrammes (1982)
- Volume: 8, page S1-S15
- ISSN: 0224-3911
Access Full Article
topHow to cite
topSain, I.. "Weak products for universal algebra and model theory." Diagrammes 8 (1982): S1-S15. <http://eudml.org/doc/192996>.
@article{Sain1982,
author = {Sain, I.},
journal = {Diagrammes},
keywords = {weak direct products of universal algebras},
language = {eng},
pages = {S1-S15},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Weak products for universal algebra and model theory},
url = {http://eudml.org/doc/192996},
volume = {8},
year = {1982},
}
TY - JOUR
AU - Sain, I.
TI - Weak products for universal algebra and model theory
JO - Diagrammes
PY - 1982
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 8
SP - S1
EP - S15
LA - eng
KW - weak direct products of universal algebras
UR - http://eudml.org/doc/192996
ER -
References
top- <1> Andréka H. , Gergely T. , Németi I. : Purely algebraic construction of first order logics. Logic Semester 1973 Warsaw Banach Center. Alsos: Central Re. Inst. Phis. Hung. Acad. Sci. KFKI-73-71. 1973 Budapest.
- <2> Andréka H. , Gergely T. , Németi I. : On Universal Algebraic Construction of Logics. STUDIA LOGICA XXXVI, 1-2, 1977, pp. 9-47. Zbl0362.02057MR505485
- <3> Andréka H. , Németi I. : A simple, purely algebraic proof of the completeness of some first order logics. ALGEBRA UNIVERSALIS Vol. 5, 1975, pp. 8-15. Zbl0306.02059MR381986
- <4> Andréka H. , Németi I. : Formulas and ultraproducts in categories. Beiträge zur Algebra u. Geom. 8, 1979, pp. 133-151. Zbl0531.03042MR571360
- <5> Arbib M. A. , Manes E. G. : Arrows, Structures and Functors: The Categorical Imperative. Ac. Press, 1975. Zbl0374.18001MR364383
- <6> Van Deuven E. K. , Monk J. D. , Matatyahu R. : Some questions about Boolean algebras. Preprint 1979 Jan. Univ. Colorado Boulder, Colorado 80309 USA. Zbl0451.06014
- <7> Eilenberg S. , Schützenberger M. P. : On Pseudovarieties. Advances in Math. Vol. 19, No 3, 1976, pp. 413-418. Zbl0351.20035MR401604
- <8> Fuchs L. : Infinite Abelian Groups. Ac. Press, 1970. Zbl0209.05503MR255673
- <9> Grätzer G. : Universal Algebra. Second edition, Springer Verlag, 1979. MR538623
- <10> Henkin L. , Monk J. D. , Tarski A. : Cylindric Algebras, Part I . North Holland, 1971. Zbl0576.03043MR781929
- <11> Henkin L. , Monk J. D. , Tarski A. , Andréka H. , Németi I. : Cylindric Set Algebras. Lect. Notes in Math. Vol. 883, Springer Verlag, 1981. Zbl0497.03025MR639151
- <12> Malcev I. : Algebraic Systems. Akademie Verlag Berlin, 1973. Zbl0266.08001MR392563
- <13> Monk J. D. : Mathematical Logic. Springer Verlag GTM 37, 1978. Zbl0354.02002MR465767
- <14> Monk J. D. : On depth of Boolean algebras. Lecture at the Math. Inst. Hung. Acad. Sci., Dec. 1978.
- <15> Németi I. , Sain I. : Cone Injectivity and some Birkhoff type Theorems in Categories. Universal Algebra (Proc. Coll. Univ. Alg., Esztergom, 1977). North-Holland, 1981, pp. 535-578. Zbl0495.18001
- <16> Andréka H. , Németi I. , Sain I. : Connections between Algebraic Logic and Initial Algebra Semantics of CF Languages. Mathematical Logic in Computer Science (Proc. Coll. Logic in Programming, Salgótarján, 1978). North-Holland, 1981, pp. 25-83 and 561-605. Zbl0502.68023MR652966
- <17> Pigozzi D. : On some operations on classes of algebras. ALGEBRA UNIVERSALIS Vol. 2, 1972, pp. 346-353. Zbl0272.08006MR316354
- <18> Rosicky J. : Concerning equational categories. Universal Algebra (Proc. Coll. Univ. Alg., Esztergom 1977). North-Holland, 1981. Zbl0355.18007MR609163
- <19> Monk J. D. : Cardinal functions on Boolean algebras. Preprint Univ. Colorado Boulder, 1981. Zbl0557.06009MR779843
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.