TY - RPRT TI - Irredundant Sets in Atomic Boolean Algebras AU - Kenneth Kunen PY - 2014 UR - https://arxiv.org/abs/1307.3533 ID - 1307.3533 ER -