Загальний фільтр — в теорії множин, вид фільтра, який використовується в техніці форсінга для доведення незалежності тверджень в аксіоматичних теоріях множин.
Першу версію форсінга використав Пол Коен для доведення незалежності континум гіпотези від ZFC.
Використаємо, що:
Визначення:
Див. також ред.
Джерела ред.
- Куратовский К., Мостовский А. Теория множеств = Set Theory (Teoria mnogości). — М. : Мир, 1970. — 416 с.(рос.)