Counterexamples to the unique and cofinal branches hypotheses

DOI10.2178/jsl/1154698586zbMath1109.03065OpenAlexW2081047596WikidataQ124808332 ScholiaQ124808332MaRDI QIDQ3410684

Itay Neeman, J. R. Steel

Publication date: 29 November 2006

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.3313

zbMATH Keywords

iterabilityiteration treecofinal branches hypothesisunique branches hypothesis

Mathematics Subject Classification ID

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

Related Items (1)

SUITABLE EXTENDER MODELS I

Cites Work

• Large cardinals and iteration trees of height \(\omega\)
• Inner models in the region of a Woodin limit of Woodin cardinals
• The determinacy of long games
• Core models with more Woodin cardinals

This page was built for publication: Counterexamples to the unique and cofinal branches hypotheses