Weakly Borel-complete topological spaces
We prove that there exist weakly countably determined spaces of complexity higher than coanalytic. On the other hand, we also show that coanalytic sets can be characterized by the existence of a cofinal adequate family of closed sets. Therefore the Banach spaces constructed by means of these families have at most coanalytic complexity.
The following two theorems give the flavour of what will be proved. Theorem. Let Y be a complete metric space. Then the families of first Baire class functions and of first Borel class functions from [0,1] to Y coincide if and only if Y is connected and locally connected.Theorem. Let Y be a separable metric space. Then the families of second Baire class functions and of second Borel class functions from [0,1] to Y coincide if and only if for all finite sequences of nonempty open subsets of Y there...