An inner model proof of the strong partition property for \(\delta_1^2\)
From MaRDI portal
Publication:2258544
DOI10.1215/00294527-2798745zbMath1335.03042arXiv1206.2713OpenAlexW3124149757MaRDI QIDQ2258544
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
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\)