Generic Coding with Help and Amalgamation Failure

Sy-David Friedman, Dan Hathaway

We show that if $M$ is a countable transitive model of ZF and if $a,b$ are reals not in $M$, then there is a $G$ generic over $M$ such that $b\in L[a,G]$. We then present several…