A partition property of a mixed type for Pκ(λ)
The author studies mixed-type partition relations, where the colored domain is \(\kappa\times P_\kappa(\lambda)\) rather than \(P_\kappa(\lambda)\times P_\kappa(\lambda)\). It concerns both the usual version and the weaker, square bracket, version. The homogeneous sets are always ``large with regard to a given ideal \(H\) on \(P_\kappa(\lambda)\), and thus the partition relations are denoted \(H^+\overset{\kappa}{\to}(H^+)^2\), \(H^+\overset{\kappa}{\to}[H^+]^2_\mu\), etc. (All definitions are given in the paper.) A sample of results is: If \(\kappa\) is \(\lambda\)-compact, then for each \(\delta\in[\kappa,\kappa^+)\), there is a weakly-normal, \(\delta\)-normal, prime fine ideal \(H\) on \(P_\kappa(\lambda)\) such that \(H^+\overset{\kappa}{\to}(H^+)^2\), and this result is best possible in some sense. There is a prime fine ideal \(H\) on \(P_\kappa(\lambda)\), such that \(H^+\overset{\omega}{\to}(H^+)^2\) if, and only if, there is a prime ideal \(J\) on \(\omega\) such that \(J^+\to(J^+)^2\). There exists a fine ideal \(H\) on \(P_\kappa(\lambda)\) such that \(H^+\overset{\omega}{\to}(H^+)^2\), and if we replace \(\omega\) by \(\kappa>\omega\), then the corresponding assertion is equivalent to \(\kappa\) being weakly compact. For each \(\delta\in[\kappa,\kappa^+)\), there exists a weakly-normal, \(\delta\)-normal, fine ideal \(H\) on \(P_\kappa(\lambda)\) such that \(H^+\overset{\kappa}{\to}[H^+]^2_{\kappa^+}\), and it requires large cardinals to have \(H\) \(\delta\)-normal for all \(\delta\in[\kappa,\kappa^+)\) simultaneously. (This motivates an investigation of weak versions of normality.) The main tool is a construction inspired by a method of Menas, which is of independent interest, at least for mathematicians working with partition relations.
- Partition relations for \(\kappa\)-normal ideals on \(P_{\kappa}(\lambda)\)
- Some variations on the partition property for normal ultrafilters on Pkl
- scientific article; zbMATH DE number 1406464
- Notes on the partition property of \({\mathcal{P}_\kappa\lambda}\)
- Weak square bracket relations for Pκ(λ)
- A partition theorem of \(\omega^{\omega^{\alpha}}\)
- Partition relations for \(\kappa\)-normal ideals on \(P_{\kappa}(\lambda)\)
- Two-cardinal versions of weak compactness: partitions of triples
- On simple partitions of [κ]κ
- Partition properties on \(\mathcal P_{\kappa}\lambda\)
- Piece selection and cardinal arithmetic
- Ineffability and partition property of \({\mathcal P}_ \kappa \lambda\)
This page was built for publication: A partition property of a mixed type for Pκ(λ)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452456)
