Tiltan

Nous démontrons que le principe trèfle ♣ et la négation de la propriété de Galvin sont consistants. D'un autre côté, nous montrons que supertrèfle implique la propriété de Galvin. Nous montrons également que ♣κ+ et sκ>κ+ sont consistants pour un cardinal supercompact κ.