MATE 4140 Teoría de Modelos 1
Iniciar el estudio de la Teoría de Modelos de la Lógica de Primer Orden. Completud, Compacidad, Teoremas de Lowenheim-Skolem. Teorías K.Categóricas, Teorías Completas, Teoría Decidibles e Indecidibles. Equivalencia y Sumersión Elemental. Caracterización de Teorías Universales, Universales-Existenciales. Modelos Existencialmente Cerrados, Teorías Modelo Completas, Eliminación de Cuantificadores. Isomorfismos Parciales, Teoremas de Feferman-Vaugth. Teoremas de Interpolación y Definibilidad. Automorfismos, Indiscernibles, Teorema de Ehrenfeucht-Mostowski. Modelos Genéricos de Fraissé. Algebras Booleanas, Filtros, Ultrafiltros. Ultraproductos, Saturación de Ultraproductos. Tipos de Elementos, Realización y Omisión de Tipos, Saturación, Homogeneidad, Universalidad. Modelos Atómicos y Primos, Teorías Omega-Categóricas. Espacios de Tipos, Estabilidad, TeoríasOmega Estables. Después de esto el instructor podrá profundizar más en temas como las siguientes. Leyes 0-1 en Modelos Finitos. Espectro de Modelos Finitos. Relaciones con Complejidad. Teorema de Keisler-Shelah, Caracterización de Clases Elementales. Teorema de Categoricidad de Morely. Teorema de Baldwin-Lachlan.
Página del catálogo en este curso