scientific article; zbMATH DE number 5883874

MaRDI QIDQ2996969zbMATH OpenFDO

Authors Tarek Sayed Ahmed

Publication date 4 May 2011

Full work available at URL http://pphmj.com/abstract/5643.htm

zbMATH Keywords

finitizationcylindric algebraspolyadic algebrasfinite axiomatizability

Mathematics Subject Classification ID

Abstract model theory (03C95) Cylindric and polyadic algebras; relation algebras (03G15) Abstract algebraic logic (03G27)

Recommendations

• On finite axiomatizability of expansions of cylindric algebras
• Nonfinite axiomatizability results for cylindric and relation algebras
• scientific article; zbMATH DE number 475235
• scientific article; zbMATH DE number 868088
• A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
• Weakly higher order cylindric algebras and finite axiomatization of the representables
• A Neat Embedding Theorem for Expansions of Cylindric Algebras
• Axiomatising Various Classes of Relation and Cylindric Algebras
• Cylindric algebras and finite polyadic algebras
• Elements of cylindric algebraic model theory

Cited in

(7)

• On finite axiomatizability of expansions of cylindric algebras
• The number of finitely generated infinite cylindric set algebras of dimension two
• scientific article; zbMATH DE number 475187 (Why is no real title available?)
• On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• A non-finitizability result in algebraic logic
• scientific article; zbMATH DE number 475235 (Why is no real title available?)
• A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS

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