TY  - RPRT
TI  - Splitting methods in algebraic logic: Proving results on non-atom-canonicity, non-finite axiomatizability and non-first oder definability for cylindric and relation algebras
AU  - Tarek Sayed Ahmed
PY  - 2015
UR  - https://arxiv.org/abs/1503.02189
ID  - 1503.02189
ER  -