Background construction for $\lambda$-indexed mice
Logic
2021-01-12 v2
Abstract
Let be a -indexed (that is, Jensen indexed) premouse. We prove that is iterable with respect to standard -iteration rules iff is iterable with respect to a natural version of Mitchell-Steel iteration rules. Using this equivalence, we describe a background construction for -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.
Cite
@article{arxiv.2101.00889,
title = {Background construction for $\lambda$-indexed mice},
author = {Farmer Schlutzenberg},
journal= {arXiv preprint arXiv:2101.00889},
year = {2021}
}
Comments
35 pages. Changes this version: Added a few straightforward corollaries at the end of section 4