scientific article; zbMATH DE number 1303460

MaRDI QIDQ4250071zbMATH OpenFDO

Authors Ildikó Sain, István Németi

Publication date 28 October 1999

zbMATH Keywords

representation theoryequational theoryrelation algebrasfork algebraspairing algebrasaxiom of strong extensionalityaxiomatizability in nonclassical set theoriesset fork algebras

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• scientific article; zbMATH DE number 859784
• scientific article; zbMATH DE number 859798
• Strong representability of fork algebras, a set theoretic foundation
• Fork Algebras as a Sufficiently Rich Universal Institution
• A Finite Axiomatization for Fork Algebras
• scientific article; zbMATH DE number 859785
• 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

(5)

• scientific article; zbMATH DE number 1136646 (Why is no real title available?)
• Representability of pairing relation algebras depends on your ontology
• scientific article; zbMATH DE number 1036759 (Why is no real title available?)
• scientific article; zbMATH DE number 1801371 (Why is no real title available?)
• scientific article; zbMATH DE number 859798 (Why is no real title available?)

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