Equivalence Relations Which Are Borel Somewhere

William Chan

The following will be shown: Let $I$ be a $\sigma$-ideal on a Polish space $X$ with the property that the associated forcing of $I^{+}$ Borel subsets ordered by $\subseteq$ is a proper fo…