A boundedness lemma for iterations

DOI10.2307/2695092zbMath0991.03048OpenAlexW2115794434WikidataQ125056645 ScholiaQ125056645MaRDI QIDQ2758044

Greg Hjorth

Publication date: 6 December 2001

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

Full work available at URL: https://doi.org/10.2307/2695092

zbMATH Keywords

direct limitsapplications to descriptive set theoryboundedness lemmacoarse structural mice

Mathematics Subject Classification ID

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

Related Items (3)

Iterates of $M_1$ ⋮ An inner model proof of the strong partition property for \(\delta_1^2\) ⋮ On the Prewellorderings Associated with the Directed Systems of Mice

Cites Work

• Partition properties and well-ordered sequences
• HOD^L(ℝ) is a Core Model Below Θ
• Optimal Proofs of Determinacy
• Two Applications of Inner Model Theory to the Study of Sets

This page was built for publication: A boundedness lemma for iterations