The Generation of Closed Pointclasses
Assume . A pointclass is closed when . Let , where is the Wadge rank, and let denote a code for an iteration strategy. A Suslin cardinal is an ordinal with the source's standard determinacy-theoretic meaning.
Generation of closed pointclasses conjecture. If there is a Suslin cardinal and , then for some hod pair ,
This conjecture is intended to produce a hod-pair strategy coding sets just beyond a closed pointclass, and is one of the three conjectural ingredients in the proposed proof of Mouse Capturing. Its notions are described by the source as somewhat informal.
References
Primary source
Grigor Sargsyan, “Descriptive inner model theory”, arXiv:1206.2712 (2012).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.