A new proof of the Gitik-Shelah theorem (Q1178335): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forcings with ideals and simple forcing notions / rank | |||
Normal rank |
Latest revision as of 11:38, 15 May 2024
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