Internalidad: Un camino de la Teoría de Modelos hacia la Teoría de Galois

En teoría de modelos, el concepto de internalidad es usado para demostrar que los grupos de enlace son definibles. Un grupo de enlace es un grupo de automorfismos de un modelo que fijan a un reducto del mismo. El propósito de este documento es esclarecer los principios de teoría de Galois subyacente...