The spectrum of partitions of a Boolean algebra (Q5944049): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s001530000065 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2024779352 / rank | |||
Normal rank |
Latest revision as of 00:04, 20 March 2024
scientific article; zbMATH DE number 1649138
Language | Label | Description | Also known as |
---|---|---|---|
English | The spectrum of partitions of a Boolean algebra |
scientific article; zbMATH DE number 1649138 |
Statements
The spectrum of partitions of a Boolean algebra (English)
0 references
13 May 2002
0 references
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\).
0 references
Boolean algebra
0 references
partitions
0 references
cellularity
0 references
maximal almost disjoint families
0 references