Porządek ten ma własność Knastera. Przy założeniu MA oraz ¬CH, każdy praporządek spełniający ccc ma własność Knastera. Przy założeniu V=L istnieją ccc praporządki, które nie mają własności Knastera. Praporządki, które spełniają ccc, ale nie mają własności Knastera, mogą być bardzo definiowalne/„porządne”. Np. jest niesprzecznym, że istnieje ccc pojęcie forsingu, które jest Suslina, ale które nie ma własności Knastera.
Zobacz też antyłańcuch prosta Suslina
Przypisy
Kategoria:Forsing Kategoria:Własności przestrzeni topologicznych