The measurable repeat-point consistency conjecture for mutual stationarity

Let κnn<ω\langle \kappa_n \mid n < \omega\rangle be a sequence of infinitely many measurable cardinals. For each nn, suppose that κn\kappa_n carries an (ω,κn1+)(\omega,\kappa_{n-1}^+) repeat point measure, with the convention that κn1+\kappa_{n-1}^+ is replaced by 0\aleph_0 when n=0n=0. A sequence of stationary sets Snω2n+1S_n \subset \omega_{2n+1} has common fixed cofinality when all the sets SnS_n consist of ordinals of the same fixed cofinality. Measurable repeat-point consistency conjecture. The assertion that every sequence of stationary sets Snω2n+1S_n \subset \omega_{2n+1} 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

Never refreshed

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.