An inner model proof of the strong partition property for \(\delta_1^2\)

DOI10.1215/00294527-2798745zbMath1335.03042arXiv1206.2713OpenAlexW3124149757MaRDI QIDQ2258544

Grigor Sargsyan

Publication date: 26 February 2015

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

descriptive set theoryhod mouseinner model theorymouse

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Forcing with sequences of models of two types
• A boundedness lemma for iterations
• On the Prewellorderings Associated with the Directed Systems of Mice
• Nontame mouse from the failure of square at a singular strong limit cardinal
• An Outline of Inner Model Theory
• Structural Consequences of AD
• The self-iterability of L[E]

This page was built for publication: An inner model proof of the strong partition property for \(\delta_1^2\)