Thin equivalence relations in scaled pointclasses
For ordinals ? beginning a ?1 gap in , where is closed under number quantification, we give an inner model-theoretic proof that every thin equivalence relation is in a real parameter from the (optimal) hypothesis .
thin equivalence relations scaled pointclasses term capturing msc (2010) 03e15 03e45