Partition Relations for Strongly Normal Ideals on Pκ(λ)

Building upon earlier work of Donna Carr, Don Pelletier, Chris Johnson, Shu‐Guo Zhang and others, we show that a normal ideal J on P_κ(λ) is strongly normal if and only if J⁺→< (J⁺, μ)² for every μ < κ, and we describe the least normal ideal J on P_κ(λ) such that J⁺ →< (J⁺, κ)².