The spectrum of partitions of a Boolean algebra (Q5944049)

This paper considers two related notions: cardinalities of maximal almost disjoint families (in the general sense, defined below) and cardinalities of partitions of Boolean algebras. Definition. For \(\kappa,\nu,\mu\) cardinals, MAD\((\kappa,\nu,\mu) = \{|\mathcal A|: \mathcal A \subset [\kappa]^{\mu};\) if\( \;A, B \in \mathcal A\) then\( \;|A \cap B|< \nu;\) and if \( C \in [\kappa]^{\mu}\) then \(\exists A \in \mathcal A \;|C \cap A|\geq \nu\}\). Definition. For \(A\) a Boolean algebra, \(J \subseteq I\) ideals in \(A\), PT\((A,I,J) = \{|\mathcal P|: \mathcal P\) is a maximal pairwise disjoint subset of \(I/J\}\). This paper begins with a number of results about MAD and some variants, e.g., Theorem. If \(\kappa\) is regular, then MAD\((\kappa,\kappa \kappa) \cap [\kappa,\infty) \subseteq \) MAD\((\kappa^+,\kappa,\kappa)\). It then proves that in a number of situations PT\((A,I,J) = \) MAD\((\kappa,\nu,\mu)\), e.g., Theorem. If \(\omega \leq \mu \leq \kappa\), \(A = \mathcal P(\kappa)/[\kappa]^{<\mu}\), and \(I = \{[X] \in A: |X|\leq \mu\}\), then PT\((A,I,\{0\}) = \) MAD\((\kappa,\mu,\mu)\). Finally, it characterizes PT\((A,A,\{0\})\) for product and weak product algebras \(A\), and investigates the general question ``which sets of cardinals can be PT\((A,A,\{0\})\) for some \(A\)?'' E.g., Theorem. Suppose \(C\) is a set of infinite cardinals, \(\omega \in C\), and for every singular \(\lambda\), if \(\lambda = \) sup\((\lambda \cap C)\) then \(\lambda \in C\). Then PT\((\oplus_{\nu \in C}\) Finco \(\nu) = [1,\omega) \cup C\).