Mathematics – Logic
Scientific paper
2006-05-16
Mathematics
Logic
40 pages
Scientific paper
This article is Part I in a series of three papers devoted to determining the minimal complexity of scales in the inner model $K(\mathbb{R})$. Here, in Part I, we shall complete our development of a fine structure theory for $K(\mathbb{R})$ which is essential for our work in Parts II and III. In particular, we prove the following fundamental theorem which supports our analysis of scales in $K(\mathbb{R})$: If $\mathcal{M}$ is an iterable real premouse, then $\mathcal{M}$ is acceptable above the reals. This theorem will be used in Parts II and III to solve the problem of finding scales of minimal complexity in $K(\mathbb{R})$.
No associations
LandOfFree
Scales and the fine structure of K(R). Part I: Acceptability above the reals 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 Scales and the fine structure of K(R). Part I: Acceptability above the reals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Scales and the fine structure of K(R). Part I: Acceptability above the reals will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-276072