Загальний фільтр — в теорії множин, вид фільтра, який використовується в техніці форсінга для доведення незалежності тверджень в аксіоматичних теоріях множин.
Першу версію форсінга використав Пол Коен для доведення незалежності континум гіпотези від ZFC.
Використаємо, що:
- Підмножина E частково впорядкованої множини (P, ≤) називається щільною, якщо:
Визначення:
- Тоді, якщо D є сімейством щільних підмножин P, фільтр F в P називається D-загальним, якщо:
- .
Див. також
Джерела