Principio del trébolEn matemáticas, y particularmente en teoría de conjuntos, el principio del trébol ♣S ("clubsuit" en inglés) es una familia de principios combinatorios que son una versión más débil del ◊S correspondiente. Fue introducido en 1975 por Adam Ostaszewski.[1] DefiniciónPara un número cardinal dado y un conjunto estacionario , es la afirmación de que existe una sucesión tal que:
♣ y ◊Está claro que el ◊ ⇒ ♣, y se demostró en 1975 que ♣ + hipótesis del continuo ⇒ ◊. Sin embargo, Saharon Shelah demostró en 1980 que existe un modelo de ♣ en el que la hipótesis del continuo (CH) no se cumple, por lo que ♣ y ◊ no son equivalentes (ya que ◊ ⇒ CH).[2] Véase tambiénReferencias
|