scientific article; zbMATH DE number 1156790

MaRDI QIDQ4390777zbMATH OpenFDO

Authors Judit Madarász, István Németi, Gábor Sági

Publication date 19 October 1998

zbMATH Keywords

finitizationrepresentable relation algebrasfinitely axiomatizableaxiomatizability of the \(n\)-variable fragment \(L_n\) of first-order logicpermutation invariant operations

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• scientific article; zbMATH DE number 59352
• On the variety generated by completions of representable relation algebras
• scientific article; zbMATH DE number 2174391
• Completeness theory for finite partial algebras
• scientific article; zbMATH DE number 919546
• A completeness result for relation algebra with binders
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Reducts of relation algebras: the aspects of axiomatisability and finite representability
• scientific article; zbMATH DE number 868093
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations

Cited in

(3)

• A Neat Embedding Theorem for Expansions of Cylindric Algebras
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• scientific article; zbMATH DE number 475187 (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 Q4390777)