Aspects of Definability for Equivalence Relations

Citation

Chan, William (2017) Aspects of Definability for Equivalence Relations. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/Z90P0X3M. https://resolver.caltech.edu/CaltechTHESIS:05312017-155530848

Abstract

This thesis will show that in the constructible universe L and set forcing extensions of L, there are no almost Borel reductions of the well-ordering equivalence relation into the admissibility equivalence relation and no Borel reductions of the isomorphism relation of any counterexample to Vaught's conjecture into the admissibility equivalence relation.

Let E be an analytic equivalence relation on a Polish space X with all classes Borel. Let I be a sigma-ideal on X such that its associated forcing of I-positive Borel subsets is a proper forcing. Assuming sharps of appropriate sets exist, it will be shown that there is an I-positive Borel subset of X on which the restriction of E is a Borel equivalence relation.

Assuming there are infinitely many Woodin cardinals below a measurable cardinal, then for any equivalence relation E in L(R) with all Borel classes and sigma-ideal I whose associated forcing is proper, there is an I-positive Borel set on which the restriction of E is Borel.

Thesis Files