Sobre los problemas de espectro de cofinalidad y p=t

Abstract

La noción de problema de espectro de cofinalidad fue introducida en 2016 por Malliaris y Shelah en [11]. Esta noción permite conectar y dar respuesta a dos antiguos problemas abiertos en dos áreas totalmente distintas: el problema en Teoría de Modelos de determinar la maximalidad de SOP2 en el orden de Keisler y el problema en Topología Conjuntista de determinar si los cardinales invariantes del continuo p y t son iguales. En el presente trabajo hacemos un análisis detallado de la noción de problema de espectro de cofinalidad y su conexión con el problema de p = t. Además, estudiamos algunas aplicaciones topológicas de p = t y damos respuesta a una pregunta abierta hecha por TodorcevÍc y Velickovíc en [20] sobre la existencia de un conjunto parcialmente ordenado de tamaño p sin precalibre p como una consecuencia directa de p = t

Abstract: The notion of cofinality spectrum problem was introduced by Malliaris and Shelah in [11]. This notion allows to connect and solve two longstanding open problems in quite different areas: the model-theoretic question of determining the maximality of SOP2-theories in Keisler’s order and the set-theoretic Topology problem of determining whether the cardinal invariants of the continuum p y t are the same. In the present dissertation we do a detailed analysis of the notion of cofinality spectrum problem and its connection with the problem p = t. Also, we study some topological applications of p = t and we answer an open question asked by Todorcevíc y Velickovíc in [20] about the existence of a poset of size p without precaliber p as a direct consequence of p = t.