A new proof of the Gitik-Shelah theorem (Q1178335)

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\).