A new proof of the Gitik-Shelah theorem (Q1178335)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A new proof of the Gitik-Shelah theorem |
scientific article |
Statements
A new proof of the Gitik-Shelah theorem (English)
0 references
26 June 1992
0 references
For ideals \(I\) on \(\kappa\), \(J\) on \(X\), there are two natural definitions of a product ideal on \(\kappa\times X\). The author introduces the product property for \(J\): \(I\times J\subseteq(J\times I)^ T\) for all \(I\), and proves it to hold for the ideals of meagre and measure zero sets. Moreover, if \(J\) satisfies the product property, then there are large \(J\)-almost disjoint families of functions. These results are applied to give a purely combinatorial proof of the Gitik-Shelah Theorem on representations of the Boolean algebra \(P(\kappa)/I\) as \(B_ \lambda/J\) with \(J\) one of the above ideals, \(B_ \lambda\) the \(\sigma\)-field generated by the basic open sets in the product space \(2^ \lambda\).
0 references
representations of Boolean algebras
0 references
product ideal
0 references
product property
0 references
measure zero sets
0 references
almost disjoint families of functions
0 references
combinatorial proof of the Gitik-Shelah theorem
0 references
sigma-field
0 references