Silver's dichotomy
In descriptive set theory, a branch of mathematics, Silver's dichotomy (also known as Silver's theorem)[1] is a statement about equivalence relations, named after Jack Silver.[2][3]
Statement and history
A relation is said to be coanalytic if its complement is an analytic set. Silver's dichotomy is a statement about the equivalence classes of a coanalytic equivalence relation, stating any coanalytic equivalence relation either has countably many equivalence classes, or else there is a perfect set of reals that are each incomparable to each other.[4] In the latter case, there must be uncountably many equivalence classes of the relation.[2]
The first published proof of Silver's dichotomy was by Jack Silver, appearing in 1980 in order to answer a question posed by Harvey Friedman.[5] One application of Silver's dichotomy appearing in recursive set theory is since equality restricted to a set [math]\displaystyle{ X }[/math] is coanalytic, there is no Borel equivalence relation [math]\displaystyle{ R }[/math] such that [math]\displaystyle{ (=\upharpoonright\aleph_0)\leq_B R\leq_B (=\upharpoonright 2^{\aleph_0}) }[/math], where [math]\displaystyle{ \leq_B }[/math] denotes Borel-reducibility. Some later results motivated by Silver's dichotomy founded a new field known as invariant descriptive set theory, which studies definable equivalence relations. Silver's dichotomy also admits several weaker recursive versions, which have been compared in strength with subsystems of second-order arithmetic from reverse mathematics,[2] while Silver's dichotomy itself is provably equivalent to [math]\displaystyle{ \Pi_1^1\mathsf{-CA}_0 }[/math] over [math]\displaystyle{ \mathsf{RCA}_0 }[/math].[1]
References
- ↑ 1.0 1.1 S. G. Simpson, "Subsystems of Z2 and Reverse Mathematics", p.442. Appearing in G. Takeuti, Proof Theory (1987), ISBN 0 444 87943 9.
- ↑ 2.0 2.1 2.2 L. Yanfang, On Silver's Dichotomy, Ph.D thesis. Accessed 30 August 2022.
- ↑ Sy D. Friedman, Consistency of the Silver dichotomy in generalized Baire space, Fundamenta Mathematicae (2014). Accessed 30 August 2022.
- ↑ A. Kechris, New Directions in Descriptive Set Theory (1999, p.165). Accessed 1 September 2022.
- ↑ J. Silver, Counting the number of equivalence classes of Borel and coanalytic equivalence relations (Annals of Mathematical Logic, 1980, received 1977). Accessed 31 August 2022.
![]() | Original source: https://en.wikipedia.org/wiki/Silver's dichotomy.
Read more |