The Complexity of the Core Model

Details The Complexity of the Core Model The Complexity of the Core Model

1992-10-07

arxiv.org/abs/math/9210202v1

Mathematics

Logic

Scientific paper

We use the Sigma^1_3 absoluteness theorem to show that the complexity of the
statement "(omega,E)$ is isomorphic to an initial segment of the core model"
is Pi^1_4, and that the complexity of the statement "(omega,E)$ is isomorphic
to a member of the core model" is Delta^1_5.

Affiliated with

Also associated with

No associations

Rating

The Complexity of the Core Model 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 Core Model, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Complexity of the Core Model will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-149712