Nontame mouse from the failure of square at a singular strong limit cardinal

DOI10.1142/S0219061314500032zbMATH Open1338.03092MaRDI QIDQ2878780FDOQ2878780

Authors: Grigor Sargsyan 

Publication date: 5 September 2014

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

Recommendations

• Square in core models
• Non-tame mice from tame failures of the unique branch hypothesis
• Stacking mice
• Square principles in \(\mathbb{P}_{\max}\) extensions
• □ on the singular cardinals

zbMATH Keywords

descriptive set theoryinner model theorymouseHOD mouse

Mathematics Subject Classification ID

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

Cites Work

• An outline of inner model theory
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Coherent sequences and threads
• Scales in K(ℝ) at the end of a weak gap
• PFA implies AD^L(ℝ)
• The self-iterability of L[E]
• Core models with more Woodin cardinals

Cited In (13)

• Hod mice and the mouse set conjecture
• Non-tame mice from tame failures of the unique branch hypothesis
• Simultaneous stationary reflection and square sequences
• Tame failures of the unique branch hypothesis and models of \(\mathsf{AD}_{\mathbb{R}}+\Theta\) is regular
• A brief account of recent developments in inner model theory
• An inner model proof of the strong partition property for \(\delta_1^2\)
• Covering with universally Baire operators
• CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS
• Forcing axioms via ground model interpretations
• Smooth categories and global \(\square\)
• Patterns of stationary reflection
• Translation procedures in descriptive inner model theory
• The semi-weak square principle

This page was built for publication: Nontame mouse from the failure of square at a singular strong limit cardinal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2878780)