Generalization of the concept of variety and quasivariety to partial algebras through category theory
- Publisher: Instytut Matematyczny Polskiej Akademi Nauk(Warszawa), 1983
Access Full Book
topAbstract
topHow to cite
topH. Andréka, and I. Németi. Generalization of the concept of variety and quasivariety to partial algebras through category theory. Warszawa: Instytut Matematyczny Polskiej Akademi Nauk, 1983. <http://eudml.org/doc/268468>.
@book{H1983,
abstract = {CONTENTSIntroduction ................................................................................................5§1. The purely category theoretical version of Birkhoff's theorem................7§2. Category theoretical study of generalized identities............................19§3. Generalized identities in partial algebras.............................................29§4. Calculus...............................................................................................41§5. Examples.............................................................................................47§6. Some model-theoretic consequences.................................................48References...............................................................................................50},
author = {H. Andréka, I. Németi},
keywords = {identities in category; variety; quasivariety; Birkhoff theorem for partial algebras; equationally definable classes of algebras; models; axiomatizable classes; completeness theorems},
language = {eng},
location = {Warszawa},
publisher = {Instytut Matematyczny Polskiej Akademi Nauk},
title = {Generalization of the concept of variety and quasivariety to partial algebras through category theory},
url = {http://eudml.org/doc/268468},
year = {1983},
}
TY - BOOK
AU - H. Andréka
AU - I. Németi
TI - Generalization of the concept of variety and quasivariety to partial algebras through category theory
PY - 1983
CY - Warszawa
PB - Instytut Matematyczny Polskiej Akademi Nauk
AB - CONTENTSIntroduction ................................................................................................5§1. The purely category theoretical version of Birkhoff's theorem................7§2. Category theoretical study of generalized identities............................19§3. Generalized identities in partial algebras.............................................29§4. Calculus...............................................................................................41§5. Examples.............................................................................................47§6. Some model-theoretic consequences.................................................48References...............................................................................................50
LA - eng
KW - identities in category; variety; quasivariety; Birkhoff theorem for partial algebras; equationally definable classes of algebras; models; axiomatizable classes; completeness theorems
UR - http://eudml.org/doc/268468
ER -
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.