scientific article; zbMATH DE number 5883874

zbMATH Open1231.03057MaRDI QIDQ2996969FDOQ2996969

Tarek Sayed Ahmed

Publication date: 4 May 2011

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
• The number of finitely generated infinite cylindric set algebras of dimension two
• Title not available (Why is that?)
• Title not available (Why is that?)

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)