@other{https://resolver.caltech.edu/CaltechTHESIS:05312017-155530848,
    title = "Aspects of Definability for Equivalence Relations",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05312017-155530848",
    id = "record",
    doi = "10.7907/Z90P0X3M"
}