Pojęcie forsingu — część 4

wtedy i tylko wtedy, gdy ).

Algebra Boole’a odpowiadająca temu pojęciu forsingu to algebra ilorazowa gdzie jest -ciałem borelowskich podzbiorów a jest rodziną tych zbiorów które są miary zero. Forsing LaveraLaver, Richard: On the consistency of Borel’s conjecture. „Acta Math.” 137 (1976), no. 3-4, s. 151–169.: warunkami są zbiory skończonych ciągów liczb naturalnych takie że (a) oraz (b) jest nieskończony]). porządkiem jest relacja zawierania (tzn. wtedy i tylko wtedy, gdy ). Forsing MathiasaMathias, A.R.D.: Happy families. „Ann. Math. Logic” 12 (1977), no. 1, s. 59–111.: warunkami są pary takie, że jest skończonym zbiorem liczb naturalych, jest nieskończonym zbiorem liczb naturalnych oraz porządek jest zdefiniowany przez wtedy i tylko wtedy, gdy oraz Forsing Hechlera: warunkami są pary takie, że jest liczbą naturalną, a jest funkcją. porządek jest zdefiniowany przez wtedy i tylko wtedy, gdy dla każdego i Forsing Sacksa: warunkami są doskonałe podzbiory prostej rzeczywistej porządkiem jest relacja zawierania.