On semiproperness of Namba forcings and ideals in Prikry extensions

We study some variations of Namba forcing Nm(κ,λ) over Pκλ and show that its semiproperness implies SSR([λ]ω,<κ). In particular, Prikry forcing at μ forces that Namba forcing Nm(μ+) is not semiproper. This shows that there are no semiproper saturated ideals in extensions by Prikry-type forcings. We also show that [λ+]μ+ cannot carry a λ+-saturated semiproper ideal if μ is singular with countable cofinality.