A dichotomy for the definable universe. (English) Zbl 0844.03029
It is shown that (assuming AD in \(L[R]\)) \(L[R]\) satisfies “every equivalence relation either admits a wellordered separating family or continuously reduces \(E_0\)”.
\(L[R]\) is the smallest model of set theory containing the reals and the ordinals. The equivalence relation \(E_0\) is defined on \(2^\omega\) by \(xE_0 y\) iff \(x(n)= y(n)\) for all but finitely many \(n\). An equivalence relation \(E\) on \(2^\omega\) continuously reduces \(E_0\) iff there exists a continuous function \(f: 2^\omega\to 2^\omega\) such that for every \(x, y\in 2^\omega\), \[ xE_0 y\quad\text{iff} \quad f(x) Ef(y). \] An equivalence relation \(E\) admits a separating family \(\mathcal A\) iff for all \(x, y\in 2^\omega\), \[ xEy\quad\text{iff}\quad (\forall A\in {\mathcal A} \;x\in A \text{ iff } y\in A). \] This is an \(L[R]\)-version of the Harrington-Kechris-Louveau-Glimm-Effros dichotomy for Borel equivalence relations [see L. A. Harrington, A. S. Kechris and A. Louveau, “A Glimm-Effros dichotomy for Borel equivalence relations”, J. Am. Math. Soc. 3, No. 4, 903-928 (1990; Zbl 0778.28011)].
\(L[R]\) is the smallest model of set theory containing the reals and the ordinals. The equivalence relation \(E_0\) is defined on \(2^\omega\) by \(xE_0 y\) iff \(x(n)= y(n)\) for all but finitely many \(n\). An equivalence relation \(E\) on \(2^\omega\) continuously reduces \(E_0\) iff there exists a continuous function \(f: 2^\omega\to 2^\omega\) such that for every \(x, y\in 2^\omega\), \[ xE_0 y\quad\text{iff} \quad f(x) Ef(y). \] An equivalence relation \(E\) admits a separating family \(\mathcal A\) iff for all \(x, y\in 2^\omega\), \[ xEy\quad\text{iff}\quad (\forall A\in {\mathcal A} \;x\in A \text{ iff } y\in A). \] This is an \(L[R]\)-version of the Harrington-Kechris-Louveau-Glimm-Effros dichotomy for Borel equivalence relations [see L. A. Harrington, A. S. Kechris and A. Louveau, “A Glimm-Effros dichotomy for Borel equivalence relations”, J. Am. Math. Soc. 3, No. 4, 903-928 (1990; Zbl 0778.28011)].
Reviewer: A.W.Miller (Madison)
Keywords:
Axiom of Determinacy; wellordered separating family; dichotomy; Borel equivalence relationsCitations:
Zbl 0778.28011References:
[1] | DOI: 10.1016/0003-4843(80)90002-9 · Zbl 0517.03018 · doi:10.1016/0003-4843(80)90002-9 |
[2] | DOI: 10.1007/BF02801471 · Zbl 0705.03028 · doi:10.1007/BF02801471 |
[3] | Topology and Borel structure (1974) |
[4] | Set theory (1978) |
[5] | DOI: 10.1090/S0894-0347-1990-1057041-5 · doi:10.1090/S0894-0347-1990-1057041-5 |
[6] | Descriptive set theory (1980) · Zbl 0433.03025 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.