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

From papers

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.

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

No solutions have been posted yet.