The measurable repeat-point consistency conjecture for mutual stationarity
The measurable repeat-point consistency conjecture for mutual stationarity
Let be a sequence of infinitely many measurable cardinals. For each , suppose that carries an repeat point measure, with the convention that is replaced by when . A sequence of stationary sets has common fixed cofinality when all the sets consist of ordinals of the same fixed cofinality. Measurable repeat-point consistency conjecture. The assertion that every sequence of stationary sets of common fixed cofinality is consistent relative to such a sequence of measurable cardinals. The conjecture proposes that the supercompact-level consistency assumption previously established can be lowered to one involving measurable cardinals with repeat point measures; the source gives no resolution of this expected strengthening.
Sources & referencesView supporting material
Primary source
Omer Ben-Neria, “On Singular Stationarity I (mutual stationarity and ideal-based methods)”, arXiv:1709.09835 (2017).
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.