Non-tame Mice from Tame Failures of the Unique Branch Hypothesis

DOI10.4153/CJM-2013-036-xzbMath1325.03057arXiv1211.0761MaRDI QIDQ2876534

Nam Trang, Grigor Sargsyan

Publication date: 19 August 2014

Published in: Canadian Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.0761

zbMATH Keywords

descriptive set theorycore model inductionhod mouseinner model theorymouseunique branch hypothesis

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Related Items (5)

Hod mice and the Mouse Set Conjecture ⋮ Translation procedures in descriptive inner model theory ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Covering with universally Baire operators ⋮ A brief account of recent developments in inner model theory

This page was built for publication: Non-tame Mice from Tame Failures of the Unique Branch Hypothesis