Inner models with large cardinal features usually obtained by forcing

Arthur W. Apter, Victoria Gitman, Joel David Hamkins. Inner models with large cardinal features usually obtained by forcing. Arch. Math. Log., 51(3-4):257-283, 2012. [doi]

Abstract

Abstract is missing.