jdh.hamkins.org
A common forcing extension obtained via different forcing notions
I’d like to write about the situation that occurs in set theory when a forcing extension $V[G]=V[H]$ arises over a ground model $V$ in two different ways simultaneously, using generic filters…