scientific article
From MaRDI portal
Publication:3666908
zbMath0518.08007MaRDI QIDQ3666908
Istvan Németi, Hajnalka Andréka
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modelsvarietyquasivarietycompleteness theoremsaxiomatizable classesBirkhoff theorem for partial algebrasequationally definable classes of algebrasidentities in category
Model-theoretic algebra (03C60) Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Categories of algebras (08C05) Partial algebras (08A55) Categoricity and completeness of theories (03C35) Foundations, relations to logic and deductive systems (18A15)
Related Items (13)
Sheaves of implicit operations in weak varieties of partial algebras ⋮ On the existence of free models in abstract algebraic institutions ⋮ Quasi-varieties in abstract algebraic institutions ⋮ Ultraproducts and possible worlds semantics in institutions ⋮ Conditional theories ⋮ A foundation for conceptual data structures by cylindric and partial algebras ⋮ Axiomatizable classes with strong homomorphisms ⋮ Weak varieties of partial algebras ⋮ Partial Horn logic and Cartesian categories ⋮ Finitary spectral algebraic theories ⋮ Unnamed Item ⋮ A unifying theorem for algebraic semantics and dynamic logics ⋮ Characterizing specification languages which admit initial semantics
This page was built for publication:
