scientific article; zbMATH DE number 3819805
zbMATH Open0518.08007MaRDI QIDQ3666908FDOQ3666908
Authors: István Németi, Hajnal Andréka
Publication date: 1983
Title of this publication is not available (Why is that?)
modelsvarietyquasivarietycompleteness theoremsaxiomatizable classesBirkhoff theorem for partial algebrasequationally definable classes of algebrasidentities in category
Model-theoretic algebra (03C60) Equational classes, universal algebra in model theory (03C05) Categoricity and completeness of theories (03C35) Equational logic, Mal'tsev conditions (08B05) Categories of algebras (08C05) Partial algebras (08A55) Quasivarieties (08C15) Foundations, relations to logic and deductive systems (18A15)
Cited In (13)
- Conditional theories
- Characterizing specification languages which admit initial semantics
- A foundation for conceptual data structures by cylindric and partial algebras
- Axiomatizable classes with strong homomorphisms
- Weak varieties of partial algebras
- Finitary spectral algebraic theories
- On the existence of free models in abstract algebraic institutions
- Partial Horn logic and Cartesian categories
- Sheaves of implicit operations in weak varieties of partial algebras
- Quasi-varieties in abstract algebraic institutions
- A unifying theorem for algebraic semantics and dynamic logics
- Ultraproducts and possible worlds semantics in institutions
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3666908)