TY  - RPRT
TI  - The elementary closure of the class Nr_nCA_m for m\geq n+1 is not finitely axiomatizable, futhermore for any finite k\geq 1, there is A\in Nr_ωCA_{\omeg+k}that is not SNr_ωCA_{ω+k+1}
AU  - Tarek Sayed Ahmed
PY  - 2013
UR  - https://arxiv.org/abs/1304.2930
ID  - 1304.2930
ER  -