Invariance of reflecting ordinals under iterated Sacks, Miller, and Laver forcing
Let be the constructible universe, and let range over the reflecting ordinals and . Consider forcing over with countable-support iterations of Sacks forcing, Miller forcing, or Laver forcing. Forcing-invariance conjecture. The values of and remain unchanged after forcing over with countable-support iterations of Sacks forcing. The same holds for Miller and Laver forcing. This conjecture extends the corresponding preservation results for a single forcing notion to countable-support iterations; whether all three classes of iterations preserve these reflecting ordinals remains open.
References
Primary source
Juan P. Aguilera and Corey Bacal Switzer, “Reflection Properties of Ordinals in Generic Extensions”, arXiv:2311.12533 (2023).
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
No solutions have been posted yet.