Chen, Ruiyuan (2018) Definability and Classification of Equivalence Relations and Logical Theories (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/7BP3-VZ93