Clubsuit - Clubsuit
v matematika, a to zejména v axiomatická teorie množin, ♣S (klubový oblek) je rodina kombinatorické principy které jsou slabší verzí odpovídajících ◊S; byl představen v roce 1975.
Definice
Za dané základní číslovka a a stacionární souprava , je prohlášení, že existuje sekvence takhle
- každý Aδ je cofinál podmnožina z δ
- pro každého neomezená podmnožina , tady je aby
je obvykle psáno jako spravedlivé .
♣ a ◊
Je jasné že ◊ ⇒ ♣ a v roce 1975 se ukázalo, že ♣ + CH ⇒ ◊; nicméně, Saharon Shelah v roce 1980 prokázal, že existuje model ♣, ve kterém CH neplatí, takže ♣ a ◊ nejsou ekvivalentní (od ◊ ⇒ CH).
Reference
- A. J. Ostaszewski, Na spočítatelně kompaktní dokonale normální prostory, Journal of London Mathematical Society, 1975 (2) 14, str. 505-516.
- S. Shelah, Skupiny Whitehead nemusí být volné, i když předpokládáme CH, II, Israel Journal of Mathematics, 1980 (35), s. 257-285.