Algebraicity and implicit definability in set theory - Joel David Hamkins; Cole Leahy (2013)