The Generation of Closed Pointclasses
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.
Sources & referencesView supporting material
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
Sign in to submit a solution.
No solutions have been posted yet.