Reports on Mathematical Logic

Tarek Sayed AHMED

Confirming a Conjecture of Tarski in Algebraic Logic

A b s t r a c t. We confirm an old conjecture of Tarski on cylindric algebras. We show that generating subreducts may not be neat reducts.