  This is a survey article in algebraic logic, where we take a magical tour
from old concepts due to Henkin, Monk and Tarski like neat embeddings, to
modern views and perspectives, culminating in the use of Erdos graphs in
settling important questions in algebraic logic.
