A boundedness lemma for iterations

DOI10.2307/2695092MaRDI QIDQ2758044zbMATH OpenOpenAlexWikidataFDO

Authors Greg Hjorth

Publication date 6 December 2001

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

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

zbMATH Keywords

applications to descriptive set theoryboundedness lemmacoarse structural micedirect limits

Mathematics Subject Classification ID

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

Review text

The author presents a kind of boundedness lemma for direct limits of coarse structural mice. Some applications to descriptive set theory are given.

Cites work

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

Cited in

(6)

• An inner model proof of the strong partition property for _1²
• On the prewellorderings associated with the directed systems of mice
• The self-iterability of L[E]
• Iterates of M₁
• Hjorth's reflection argument
• Unreachability of \(\mathbf{ \Gamma }_{\mathbf{2n}+\mathbf{1},\mathbf{m}} \)

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

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