Resumen: Comenzaremos esta charla dando ejemplos de teorías de primer que tendremos en mente a lo largo del seminario. Posteriormente definiremos la noción de estabilidad para fórmulas, tipos y teorías y demostraremos propiedadess básicas de tipos estables. Probaremos que siempre son definibles y que esto permite definir una buena noción de independencia (llamada no bifurcación).