Eisworth, T. On idealized versions of Pr1(μ+,μ+,μ+,cf(μ)) . Arch. Math. Logic 53, 809–824 (2014). Publisher's Version Last updated on 11/17/2023