2015/11/25 by William Chan, Chan, William · 3 citations
Mathematics · #Advanced Banach Space Theory #Advanced Topology and Set Theory #Borel equivalence relation #Borel hierarchy #Borel measure #Borel set #Combinatorics #Computer science #Congruence relation #Discrete mathematics #Equivalence (formal languages) #Equivalence relation #FOS: Mathematics #Forcing (mathematics) #Logic (math.LO) #Mathematical analysis #Mathematical and Theoretical Analysis #Mathematics #Physics #Polish space #Probability measure #Pure mathematics #Sigma #Space (punctuation) #math.LO
paper · pdf · doi:10.48550/arxiv.1511.07981
published in arXiv (Cornell University) (Cornell University) · Made some minor changes and corrected some typos. Added some new remarks at the end. Included funding information
openalex publication_date 2015/11/25 · arxiv created 2015/12/08 · arxiv updated 2015/12/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04
The following will be shown: Let I be a σ-ideal on a Polish space X with the property that the associated forcing of I+ Borel subsets ordered by ⊆ is a proper forcing. Let E be an analytic or coanalytic equivalence relation on this Polish space with all equivalence classes Borel. If sharps of certain sets exist, then there is an I+ Borel subset C of X such that E \upharpoonright C is a Borel equivalence relation.