The search session has expired. Please query the service again.
There is a general conjecture, the dichotomy (C) about Borel equivalence relations E: (i) E is Borel reducible to the equivalence relation where X is a Polish space, and a Polish group acting continuously on X; or (ii) a canonical relation is Borel reducible to E. (C) is only proved for special cases as in [So].
In this paper we make a contribution to the study of (C): a stronger conjecture is true for hereditary subspaces of the Polish space of real sequences, i.e., subspaces such that ...
Let X be an hereditary subspace of the Polish space of real sequences, i.e. a subspace such that [x = (xₙ)ₙ ∈ X and ∀n, |yₙ| ≤ |xₙ|] ⇒ y = (yₙ)ₙ ∈ X. Does X admit a complete metric compatible with its vector structure? We have two results:
∙ If such an X has a complete metric δ, there exists a unique pair (E,F) of hereditary subspaces with E ⊆ X ⊆ F, (E,δ) complete separable, and F complete maximal in a strong sense. On E and F, the metrics have a simple form, and the spaces E are Borel (Π₃⁰ or...
Download Results (CSV)