Problems on neat embeddings solved by rainbow constructions and Monk algebras

This paper is a survey of recent results and methods in (Tarskian) algebraic logic. We focus on cylindric algebras. Fix 2