Mathematics – Logic
Scientific paper
1996-11-07
Mathematics
Logic
Scientific paper
This paper considers "definable cardinalities" arising from Polish group actions. The first part of the paper answers a question of Becker-Kechris by showing that under suitable determinacy assumptions in ZF+DC, every action by a Polish group on a metric space is either as complicated as the Vitali equivalence relation or no more complicated than the equality relation on bounded subsets of \aleph_1. The same argument shows that if hereditarily wellorderabel sets can be used as complete invariants, then elements in HC will do. The second half gives a new proof of Howard Becker's recent theorem that Vaught's conjecture holds for groups with a left invariant complete metric. The proof also serves to show that Vaught's conjecture holds for such groups on \Sigma^1_1 sets (in ZFC) and "reasonably definable" sets under large cardinal assumptions.
No associations
LandOfFree
Orbit cardinalities 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 Orbit cardinalities, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Orbit cardinalities will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-432255