scientific article; zbMATH DE number 859798

MaRDI QIDQ4870570zbMATH OpenFDO

Authors Ildikó Sain, István Németi

Publication date 26 March 1996

zbMATH Keywords

axiomatizationsrepresentation theoremsfork algebrasset-theoretical definition of ordered pair

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Semantics in the theory of computing (68Q55) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Applications of set theory (03E75)

Recommendations

• scientific article; zbMATH DE number 859784
• scientific article; zbMATH DE number 1303460
• Strong representability of fork algebras, a set theoretic foundation
• Fork Algebras as a Sufficiently Rich Universal Institution
• scientific article; zbMATH DE number 859785
• A Finite Axiomatization for Fork Algebras
• scientific article; zbMATH DE number 1157017
• scientific article; zbMATH DE number 1801371
• scientific article; zbMATH DE number 1136646
• On finite and infinite fork algebras and their relational reducts

Cited in

(3)

• scientific article; zbMATH DE number 1303460 (Why is no real title available?)
• scientific article; zbMATH DE number 1036759 (Why is no real title available?)
• Complexity of equational theory of relational algebras with standard projection elements

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