Two-cardinal versions of weak compactness: Partitions of triples

International audienceLet κ be a regular uncountable cardinal, and λ be a cardinal greater than κ. Our main result asserts that if (λ< κ)<(λ< κ) = λ< κ, then (pκ, λ(NInκ, λ< κ))+ → ((NSκ, λ[λ]< κ)+, NSκ, λs+)3 and (pκ, λ(NAInκ, λ< κ))+ → (NSκ, λs+)3, where NSκ, λs (respectively, NSκ, λ[λ]< κ) denotes the smallest seminormal (respectively, strongly normal) ideal on Pκ(λ), NInκ, λ< κ (respectively, NAInκ, λ< κ) denotes the ideal of non-ineffable (respectively, non-almost ineffable) subsets of Pκ(λ< κ), and pκ, λ: Pκ(λ< κ) → Pκ(λ) is defined by pκ, λ(x) = x ∩ λ