Aspects of Definability for Equivalence Relations

• Main Author: Chan, William
• Format: Others
• Published: 2017
• Online Access: https://thesis.library.caltech.edu/10236/1/chan_william_2017.pdf; 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 <https://resolver.caltech.edu/CaltechTHESIS:05312017-155530848>

<p>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.</p> <p>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.</p> <p>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.</p>