Twierdzenie Balcara-Franka

Twierdzenie Balcara-Franka – twierdzenie teorii algebr Boole’a mówiące, że każda nieprzeliczalna zupełna algebra Boole’a mocy $\kappa$ zawiera zbiór niezależny mocy $\kappa .$ Z twierdzenia Balcara-Franka wynika, że zupełne algebry Boole’a mocy $\kappa$ mają dokładnie $2^{\kappa }$ ultrafiltrów.

Bibliografia

• B. Balcar, F. Franěk: Independent families in complete Boolean algebras, „Transactions of the American Mathematical Society” 274 (1982), s. 607–618. pdf