English

Background construction for $\lambda$-indexed mice

Logic 2021-01-12 v2

Abstract

Let MM be a λ\lambda-indexed (that is, Jensen indexed) premouse. We prove that MM is iterable with respect to standard λ\lambda-iteration rules iff MM 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.

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

R2 v1 2026-06-23T21:44:43.955Z