Algebraicity and Implicit Definability in Set Theory. - Joel David Hamkins; Cole Leahy (Notre Dame J. Formal Log., 2016)