Coding into K by reasonable forcing

Details Coding into K by reasonable forcing Coding into K by reasonable forcing

1997-06-26

arxiv.org/abs/math/9706208v2

Mathematics

Logic

Scientific paper

Assuming that there is no inner model with a strong cardinal, the following
is shown: any subset of \omega_1 can be made \Delta^1_3 (in the codes) by a
reasonable set-forcing; there is a reasonable set-generic extension with a
\Delta^1_3 well-ordering of its reals; 2-step \Sigma^1_4 absoluteness fails
w.r.t. set-sized reasonable forcings.

Affiliated with

Also associated with

No associations

Rating

Coding into K by reasonable forcing 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 Coding into K by reasonable forcing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coding into K by reasonable forcing will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-227638