MATE 4141 Teoría de Modelos 2

En éste curso estudiaremos teorías estables y simples (una forma de generalizar las anteriores) y algunos rangos asociadas a éstas como son el rango de Morley y el rango local. Se estudiarán nociones asociadas a éstas, como son divisibilidad y bifurcación de fórmulas y tipos. Mostraremos que la definibilidad de tipos caracteriza las teorías estables y que una apropiada noción de independencia caracteriza a las teorías simples. Se estudiarán nociones combinatorias asociadas a estas teorías como son la propiedad de independencia, la propiedad del orden y la propiedad del orden fuerte. Introduciremos las teorías NIP, las teorías que NO satisfacen la propiedad de independencia, otra forma de generalizar las teorías estables.