scientific article; zbMATH DE number 3819805

MaRDI QIDQ3666908zbMATH OpenFDO

Authors István Németi, Hajnal Andréka

Publication date 1983

zbMATH Keywords

axiomatizable classesBirkhoff theorem for partial algebrascompleteness theoremsequationally definable classes of algebrasidentities in categorymodelsquasivarietyvariety

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Categoricity and completeness of theories (03C35) Model-theoretic algebra (03C60) Partial algebras (08A55) Equational logic, Mal'tsev conditions (08B05) Categories of algebras (08C05) Quasivarieties (08C15) Foundations, relations to logic and deductive systems (18A15)

Cited in

(13)

• On the existence of free models in abstract algebraic institutions
• Quasi-varieties in abstract algebraic institutions
• Conditional theories
• 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
• A unifying theorem for algebraic semantics and dynamic logics
• Sheaves of implicit operations in weak varieties of partial algebras
• Ultraproducts and possible worlds semantics in institutions
• scientific article; zbMATH DE number 3817769 (Why is no real title available?)
• Characterizing specification languages which admit initial semantics
• Partial Horn logic and Cartesian categories

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)