W. Mitchell, Inner models for large cardinals (2012, p.16). Accessed 2022-12-08. https://www.semanticscholar.org/paper/Inner-Models-for-Large-Cardinals-Mitchell/ecf7380a4468e233a23282157b318e20156e3a1a ↩
"In search of Ultimate-L" Version: January 30, 2017 ↩