Gunter Fuchs, Joel David Hamkins, Jonas Reitz: Set-theoretic geology. Ann. Pure Appl. Log. 166(4): 464-501 (2015)