Ehrenfeucht's lemma in set theory - Gunter Fuchs; Victoria Gitman; Joel David Hamkins (2015)