Forcing axioms via ground model interpretations

Philipp Schlicht, Christopher Turner

We study principles of the form: if a name $\sigma$ is forced to have a certain property $\phi$, then there is a ground model filter $g$ such that ${\sigma }^g$ satisfies $\phi$. We prove a general c…