@other{https://resolver.caltech.edu/CaltechTHESIS:05212018-182542598,
    title = "Definability and Classification of Equivalence Relations and Logical Theories",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05212018-182542598",
    id = "record",
    doi = "10.7907/7BP3-VZ93"
}