Apter, Gitman, Hamkins, 2011. Inner models with large cardinal features usually obtained by forcing 51.. https://doi.org/10.1007/s00153-011-0264-5