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

DOI10.1142/S0219061314500032zbMath1338.03092MaRDI QIDQ2878780

Grigor Sargsyan

Publication date: 5 September 2014

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

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)

Related Items (11)

Patterns of stationary reflection ⋮ Hod mice and the Mouse Set Conjecture ⋮ Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular ⋮ Translation procedures in descriptive inner model theory ⋮ Simultaneous stationary reflection and square sequences ⋮ Forcing axioms via ground model interpretations ⋮ Covering with universally Baire operators ⋮ A brief account of recent developments in inner model theory ⋮ CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS ⋮ An inner model proof of the strong partition property for \(\delta_1^2\) ⋮ The semi-weak square principle

Cites Work

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

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