scientific article; zbMATH DE number 5883874
From MaRDI portal
Publication:2996969
zbMATH Open1231.03057MaRDI QIDQ2996969FDOQ2996969
Authors: 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
Abstract model theory (03C95) Cylindric and polyadic algebras; relation algebras (03G15) Abstract algebraic logic (03G27)
Cited In (7)
- A non-finitizability result in algebraic logic
- On finite axiomatizability of expansions of cylindric algebras
- On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
- 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)
