Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular

DOI10.1142/S0219061316500070zbMath1432.03100MaRDI QIDQ2951898

Nam Trang, Grigor Sargsyan

Publication date: 10 January 2017

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

zbMATH Keywords

large cardinalsinner modelscore model inductionunique branch hypothesishod micetame iteration trees

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 (8)

Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable ⋮ On -Strongly Measurable Cardinals ⋮ Determinacy axioms and large cardinals ⋮ A brief account of recent developments in inner model theory ⋮ Covering with Chang models over derived models ⋮ 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability ⋮ PROVABLY GAMES ⋮ SEALING OF THE UNIVERSALLY BAIRE SETS

Cites Work

• Unnamed Item
• PFA and guessing models
• Square principles in \(\mathbb{P}_{\max}\) extensions
• Nontame mouse from the failure of square at a singular strong limit cardinal
• SUITABLE EXTENDER MODELS I
• Iteration Trees

This page was built for publication: Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular