Lemma 3.19. The following are equivalent:

• (i) $p{⊩}^{\ast }\phi$.
• (ii) $\forall r\le p,r{⊩}^{\ast }\phi$.
• (iii) $\{r:r{⊩}^{\ast }\phi \}$ is dense below $\rho$.