The complexity of the reals in inner models of set theory

Details The complexity of the reals in inner models of set theory The complexity of the reals in inner models of set theory

1995-01-02

arxiv.org/abs/math/9501203v1

Mathematics

Logic

Scientific paper

The usual definition of the set of constructible reals is $\Sigma ^1_2$. This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Friedman asked if the set of constructible reals can be analytic or even Borel in a nontrivial way. A related problem was posed by K. Prikry: can there exist a nonconstructible perfect set of constructible reals? The main result of this paper is a negative answer to Friedman's question. In fact we prove that if $M$ is an inner model of set theory and the set of reals in $M$ is analytic then either all reals are in $M$ or else $\aleph _1^M$ is countable. We also extend this result to higher levels of the projective hierarchy under appropriate large cardinal assumptions. Concerning Prikry's problem we show that the answer is negative if "perfect" is replaced by "superperfect" but that it can be positive if "constructible" is replaced by "belonging to some inner model $M$".

Affiliated with

Also associated with

No associations

Rating

The complexity of the reals in inner models of set theory 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 The complexity of the reals in inner models of set theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The complexity of the reals in inner models of set theory will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-605709