Weakly higher order cylindric algebras and finite axiomatization of the representables

DOI10.1007/s11225-009-9162-9zbMath1173.03049OpenAlexW2085309765MaRDI QIDQ1005971

András Simon, Istvan Németi

Publication date: 17 March 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9162-9

zbMATH Keywords

representabilityrelation algebraalgebraic logiccylindric algebrafinitization problemquasi-projections

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (6)

Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ A short proof of representability of fork algebras ⋮ On the algebraization of Henkin‐type second‐order logic ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Complexity of equational theory of relational algebras with standard projection elements ⋮ Non-standard stochastics with a first order algebraization

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Connections between quasi-projective relation algebras and cylindric algebras
• Cylindric algebras. Part II
• A non-representable cylindric algebra with pairing functions
• Some sufficient conditions for the representability of relation algebras
• A Modal Logic for Quantification and Substitution
• Strong representability of fork algebras, a set theoretic foundation
• A completeness theorem for higher order logics

This page was built for publication: Weakly higher order cylindric algebras and finite axiomatization of the representables