A weak Dodd-Jensen lemma

DOI10.2307/2586630zbMATH Open0938.03077OpenAlexW2059515347WikidataQ124877206 ScholiaQ124877206MaRDI QIDQ4934040

Itay Neeman, John Steel

Publication date: 22 June 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586630

zbMATH Keywords

iteration strategyiterable countable mouse

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Cites Work

• Inner models with many Woodin cardinals
• Unnamed Item
• Unnamed Item

Related Items (7)

CHARACTERIZATION OF □_κ IN CORE MODELS ⋮ DODD PARAMETERS AND λ-INDEXING OF EXTENDERS ⋮ Cardinal transfer properties in extender models ⋮ Iterability for (transfinite) stacks ⋮ The domestic levels of \(K^c\) are iterable ⋮ Equiconsistencies at subcompact cardinals ⋮ Inner models in the region of a Woodin limit of Woodin cardinals

This page was built for publication: A weak Dodd-Jensen lemma