New Sigma^1_3 facts

Details New Sigma^1_3 facts New Sigma^1_3 facts

1997-12-03

arxiv.org/abs/math/9712272v1

Mathematics

Logic

Scientific paper

We use ``iterated square sequences'' to show: There is an L-definable partition n: L-singulars --> omega such that if M is an inner model without 0#: (a) For some n, M satisfies that {alpha | n(alpha)=n} is stationary. (b) For each n there is a generic extension of M in which 0# does not exist and {alpha | n(alpha)

Affiliated with

Also associated with

No associations

Rating

New Sigma^1_3 facts 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 New Sigma^1_3 facts, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and New Sigma^1_3 facts will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-99832