scientific article
From MaRDI portal
Publication:3958640
zbMath0495.18001MaRDI QIDQ3958640
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
injectivityconesfactorization systemultraproductssketcheslocally presentable categoriesfirst order formulas
Partial algebras (08A55) Definitions and generalizations in theory of categories (18A05) Foundations, relations to logic and deductive systems (18A15)
Related Items
Quasi-varieties in abstract algebraic institutions, Conditional theories, A foundation for conceptual data structures by cylindric and partial algebras, Unnamed Item, Unnamed Item, Equational axiomatizability for coalgebra, A semantic approach to interpolation, A unifying theorem for algebraic semantics and dynamic logics, Some Co-Birkhoff Type Theorems, Factorization systems and fibrations
