1 problem

Correctness preservation for shattered iterations with Borel or Suslin ccc forcing
Correctness-preservation conjecture. The diagram $\bar{\mathbb E}$ is correct.
openFrom papersccc-forcing forcing iterated-forcing
0 responses
5