When an Equivalence Relation with All Borel Classes will be Borel Somewhere?
Logic
2016-08-18 v1
Abstract
In , if there is a measurable cardinal with infinitely many Woodin cardinals below it, then for every equivalence relation on with all classes and every -ideal on so that the associated forcing of subsets is proper, there exists some set so that is a equivalence relation. In , for every equivalence relation on with all classes and every -ideal on so that the associated forcing is proper, there is some set so that is a equivalence relation.
Keywords
Cite
@article{arxiv.1608.04913,
title = {When an Equivalence Relation with All Borel Classes will be Borel Somewhere?},
author = {William Chan and Menachem Magidor},
journal= {arXiv preprint arXiv:1608.04913},
year = {2016}
}