A combinatorial property of p_κλ

In a paper on combinatorial properties and large cardinals [2], Jech extended several combinatorial properties of a cardinal κ to analogous properties of the set of all subsets of λ of cardinality less than κ, denoted by “p_κλ”, where λ is any cardinal ≤_κ. We shall consider in this paper one of these properties which is historically rooted in a theorem of Ramsey [10] and in work of Rowbottom [12].As in [2], define [p_κλ]² = {{x, y}: x, y ∈ p_κλ and x ≠ y}. An unbounded subset A of p_κλ is homogeneous for a function F: [p_κλ]² → 2 if there is a k < 2 so that for all x, y ∈ A with either x ⊊ y or y ⊊ x, F({x, y}) = k. A two-valued measure ü on p_κλ is fine if it is κ-complete and if for all α < λ, ü({x ∈ p_κλ: α ∈ x}) = 1, and ü is normal if, in addition, for every function f: p_κλ → λsuch that ü({x ∈ p_κλ: f(x) ∈ x}) = 1, there is an α < λ such that ü({x ∈ p_κλ: f(x) = α}) = 1. Finally, a fine measure on p_κλ has the partition property if every F: [p_κλ]² → 2 has a homogeneous set of measure one.