Загальний фільтр

Загальний фільтр — в теорії множин, вид фільтра, який використовується в техніці форсінга для доведення незалежності тверджень в аксіоматичних теоріях множин.

Першу версію форсінга використав Пол Коен для доведення незалежності континум гіпотези від ZFC.

Використаємо, що:

Підмножина E частково впорядкованої множини (P, ≤) називається щільною, якщо:

Визначення:

Тоді, якщо D є сімейством щільних підмножин P, фільтр F в P називається D-загальним, якщо:
.

Див. також

Джерела