1 problem

Matching

Correctness preservation for shattered iterations with Borel or Suslin ccc forcing
About 3 years old
Correctness-preservation conjecture. The diagram $\bar{\mathbb E}$ is correct.
openccc-forcing forcing iterated-forcing
012