En 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.
Definición Para un número cardinal dado y un conjunto estacionario , es la afirmación de que existe una sucesión tal que:
Cada Aδ es un cofinal subconjunto de δ Por cada subconjunto no acotado , hay un de modo que generalmente se escribe simplemente como .
♣ 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).
Véase también Conjunto club
Referencias
Categoría:Teoría de conjuntos Categoría:Principios matemáticos