Este curso se concentra en el estudio sistemático de los posibles modelos (interpretaciones) que puede poseer una teoría formal de primer orden, los teoremas generales que gobiernan la estructura de dichos modelos, y su aplicación al estudio de diversas teorías matemáticas

Página del catálogo en este curso