The covering conjecture for iteration sets at Suslin cardinals
The covering conjecture for iteration sets at Suslin cardinals
Assume . Let , where is either a Suslin cardinal or the successor of a Suslin cardinal. Let be ordinal definable with , and let . An -iteration set is a set such that, for every , there is an -iterable with and
Covering conjecture. For every such , , and , there is an -iteration set such that . This asserts a covering property for subsets of of size less than by iteration sets, under determinacy and the stated inner-model hypothesis. The source provides no evidence of resolution, so the conjecture is recorded as open.
Sources & referencesView supporting material
Primary source
Grigor Sargsyan, “An inner model theoretic proof of Becker's theorem”, arXiv:2110.06314 (2021).
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.