Invariance of reflecting ordinals under iterated Sacks, Miller, and Laver forcing
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.
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Sources & referencesView supporting material
Primary source
Juan P. Aguilera and Corey Bacal Switzer, “Reflection Properties of Ordinals in Generic Extensions”, arXiv:2311.12533 (2023).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.