Invariance of reflecting ordinals under iterated Sacks, Miller, and Laver forcing

About 3 years old · traced to

Let LL be the constructible universe, and let θ\theta range over the reflecting ordinals σn1\sigma^1_n and πn1\pi^1_n. Consider forcing over LL with countable-support iterations of Sacks forcing, Miller forcing, or Laver forcing. Forcing-invariance conjecture. The values of σn1\sigma^1_n and πn1\pi^1_n remain unchanged after forcing over LL 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

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.