Irredundant Sets in Atomic Boolean Algebras

Abstract

Assuming GCH, we construct an atomic boolean algebra whose pi-weight is strictly less than the least size of a maximal irredundant family.

This version corrects some errors in the original arXiv version