scientific article; zbMATH DE number 3779578

MaRDI QIDQ3958640zbMATH OpenFDO

Authors István Németi, Ildikó Sain

Publication date 1982

zbMATH Keywords

conesfactorization systemfirst order formulasinjectivitylocally presentable categoriessketchesultraproducts

Mathematics Subject Classification ID

Partial algebras (08A55) Definitions and generalizations in theory of categories (18A05) Foundations, relations to logic and deductive systems (18A15)

Cited in

(10)

• A semantic approach to interpolation
• Quasi-varieties in abstract algebraic institutions
• Conditional theories
• A foundation for conceptual data structures by cylindric and partial algebras
• A unifying theorem for algebraic semantics and dynamic logics
• Some co-Birkhoff type theorems
• Factorization systems and fibrations: toward a fibred Birkhoff variety theorem
• scientific article; zbMATH DE number 3817769 (Why is no real title available?)
• scientific article; zbMATH DE number 3821994 (Why is no real title available?)
• Equational axiomatizability for coalgebra

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 Q3958640)