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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

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

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

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

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

Визначення:

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

Див. також

[ред. | ред. код]

Джерела

[ред. | ред. код]