Background construction for $\lambda$-indexed mice
Abstract
Let $M$ be a $\lambda$-indexed (that is, Jensen indexed) premouse. We prove that $M$ is iterable with respect to standard $\lambda$-iteration rules iff $M$ is iterable with respect to a natural version of Mitchell-Steel iteration rules. Using this equivalence, we describe a background construction for $\lambda$-indexed mice, analogous to traditional background constructions for Mitchell-Steel indexed mice, and which absorbs Woodin cardinals from the background universe. We also prove some facts regarding the correspondence between standard iteration trees and u-iteration trees on premice with Mitchell-Steel indexing.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2021
- DOI:
- 10.48550/arXiv.2101.00889
- arXiv:
- arXiv:2101.00889
- Bibcode:
- 2021arXiv210100889S
- Keywords:
-
- Mathematics - Logic;
- 03E45;
- 03E55
- E-Print:
- 35 pages. Changes this version: Added a few straightforward corollaries at the end of section 4