Simultaneous existence of two ultrafilters with strong generating sequences of different lengths
Establish whether it is consistent that there exist two ultrafilters U and W on a fixed cardinal κ such that U admits a strong generating sequence of length κ^+ and W admits a strong generating sequence of length κ^{+++}, yielding Sp_T(U·W)=Sp_T(U)∪Sp_T(W) with non-interval behavior.
References
We do not know if it is consistent to have two such ultrafilters.
— On Ultrapowers and Cohesive Ultrafilters
(2410.06275 - Benhamou, 8 Oct 2024) in Section 5 (Consistency results)