The complexity of the set of squares in the homeomorphism group of the circle
The set of squares in the group of autohomeomorphisms of the circle is complete analytic, and hence analytic but not Borel.
The set of squares in the group of autohomeomorphisms of the circle is complete analytic, and hence analytic but not Borel.
Page 1