Abstract
Publisher Summary This chapter discusses projective equivalence relations. If E is a Ξ 1 βΌ1 equivalence relation on IR then IR/E is countable, or else E admits a non-empty perfect set of pairwise inequivalent reals. The chapter describes inductive and coinductive equivalence relations. A set of reals A β IR is Ξ»-Souslin, if it is the projection of the set of branches of a tree T on w Γ Ξ». The complement of such a set is called βcoβΞ»βSouslin.β
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: Studies in Logic and the Foundations of Mathematics
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.