Equational partiality

DOI10.1007/BF01191770zbMath0524.08005OpenAlexW4235375486MaRDI QIDQ585250

Klaus Benecke, Horst Reichel

Publication date: 1983

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01191770

zbMATH Keywords

small categoriesdomain conditionequationally partial algebrapartiallity of heterogeneous algebraic structuresquasi-variety

Mathematics Subject Classification ID

Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Partial algebras (08A55)

Related Items

Unnamed Item, Specifications in an arbitrary institution, Parametrization for order-sorted algebraic specification

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weak and strong equations in partial algebras
• Partial morphisms on partial algebras
• A general existence theorem on partial algebras and its special cases
• A theory of P-homomorphisms
• Heterogeneous algebras
• Embeddability and the Word Problem
• INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I