Properness and universality of refining forcing on a condition

Determine whether refining forcing is proper below some condition, and whether there exists a Borel $\omega$-refining family $B$ such that every refining real in $B$ over a model containing $B$ is universally refining over that model.

Background

The paper proves that refining forcing is not proper below a particular condition and that the forcing collapses the continuum to ω\omega below some condition. As with true eventually different forcing, the authors leave open whether a suitable restriction could exhibit properness or a corresponding universality property.

References

Is refining forcing proper somewhere? Is there some Borel $\omega$-refining family $B$ such that each refining real $r \in B$ over a model $M \ni B$ is universally refining over $M$?

Universal domination and idealized forcing  (2608.18964 - Schilhan, 19 Aug 2026) in Question at the end of Section 7, subsection “Refining forcing”