viii + 132..
Diament i wzmocnienie Diament Jensena to następujące zdanie: Istnieje taki ciąg że dla każdej liczby porządkowej oraz dla każdego zbioru zbiór jest stacjonarny.
to zdanie: Istnieje taki ciąg że dla każdej liczby porządkowej jest przeliczalną rodziną podzbiorów oraz dla każdego zbioru istnieje club taki, że
to zdanie: Istnieje taki ciąg że dla każdej liczby porządkowej jest przeliczalną rodziną podzbiorów oraz dla każdego zbioru zbiór jest stacjonarny.
Konsekwencje i własności Następujące twierdzenia są dowodliwe w
Jeśli jest prawdziwy, to istnieje ω1-drzewo Suslina. Zatem przy założeniu (a) istnieje porządek liniowy bez końców, w którym każda rodzina rozłącznych przedziałów otwartych jest przeliczalna, ale który nie zawiera żadnego przeliczalnego podzbioru gęstego; (b) istnieje przestrzeń topologiczna która jest przestrzenią Suslina (tzn. każda rodzina parami rozłącznych otwartych podzbiorów jest co najwyżej przeliczalna), ale której produkt nie jest przestrzenia Suslina (zdanie to jest mimo to dowodliwe pod założeniem samej hipotezy continuumFrederick Galvin: Chain conditions and products. „Fundamenta Mathematicae” 1980, nr 108, s.