Teoría de modelos y combinatoria de secuencias prohibidas