La structure borélienne d'Effros est-elle standard?
Let X be a Polish space, and let C₀ and C₁ be disjoint coanalytic subsets of X. The pair (C₀,C₁) is said to be complete if for every pair (D₀,D₁) of disjoint coanalytic subsets of there exists a continuous function such that and . We give several explicit examples of complete pairs of coanalytic sets.
Page 1 Next