Reducing first-order logic to Df₃, free algebras

MaRDI QIDQ2853707zbMATH OpenFDO

Authors István Németi, Hajnal Andréka

Publication date 16 October 2013

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras
• The non-definability notion and first order logic
• First order logic without equality on relativized semantics
• On reduced matrices
• scientific article; zbMATH DE number 868093

Cited in

(6)

• First order logic without equality on relativized semantics
• Atoms in infinite dimensional free sequence-set algebras
• Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras
• Undecidability of Algebras of Binary Relations
• Complexity of equational theory of relational algebras with standard projection elements
• Note on a translation from first-order logic into the calculus of relations preserving validity and finite validity

This page was built for publication: Reducing first-order logic to \(\mathsf{Df}_3\), free algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2853707)