Scales and the fine structure of K(R). Part I: Acceptability above the reals
| dc.creator | Cunningham, D. W. | |
| dc.date | 2006-05-16 | |
| dc.date.accessioned | 2026-07-07T07:14:19Z | |
| dc.date.available | 2026-07-07T07:14:19Z | |
| dc.description | 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})$. | |
| dc.description | 40 pages | |
| dc.identifier | https://arxiv.org/abs/math/0605445 | |
| dc.identifier | http://arxiv.org/abs/math/0605445 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/112824 | |
| dc.subject | Logic | |
| dc.subject | 03E15 (Primary); 03E45, 03E60 (Secondary) | |
| dc.title | Scales and the fine structure of K(R). Part I: Acceptability above the reals | |
| dc.type | text |