Countable dense homogeneity of definable spaces

Details Countable dense homogeneity of definable spaces Countable dense homogeneity of definable spaces

2004-02-26

arxiv.org/abs/math/0402442v1

Mathematics

General Topology

8 pages

Scientific paper

We investigate which definable separable metric spaces are countable dense homogeneous (CDH). We prove that a Borel CDH space is completely metrizable and give a complete list of zero-dimensional Borel CDH spaces. We also show that for a Borel X subset of 2^omega the following are equivalent: (1) X is G_delta in 2^omega, (2) X^omega is CDH and (3) X^omega is homeomorphic to 2^omega or to omega^omega. Assuming the Axiom of Projective Determinacy the results extend to all projective sets and under the Axiom of Determinacy to all separable metric spaces. In particular, modulo large cardinal assumption it is relatively consistent with ZF that all CDH separable metric spaces are completely metrizable. We also answer a question of Steprans and Zhou by showing that the cardinal p = min{kappa: 2^kappa is not CDH}.

Affiliated with

Also associated with

No associations

Rating

Countable dense homogeneity of definable spaces does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Countable dense homogeneity of definable spaces, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Countable dense homogeneity of definable spaces will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-294427