Balcar-Franek Theorem

The original paper:  B. Balcar and F. Franek
Independent families in complete Boolean algebras
Transactions of the American Mathematical Society, No. 2,

Vol. 274 (1982), pp. 607-618
view by pages or download (slow) zipped pdf file [semifree.pdf.zip]

Klaas Pieter Hart, Bull. Symbolic Logic Volume 8, Number 4 (2002), 554,
The riview of the original paper

Selected book references and applications