Estudar as técnicas de Teoria dos Modelos, com vistas às aplicações em outras áreas da matemática, como a Análise, Geometria Algébrica, Topologia, e outras.