jdh.hamkins.org
Ehrenfeucht’s lemma in set theory
[bibtex key=FuchsGitmanHamkins2018:EhrenfeuchtsLemmaInSetTheory]