Relating forcing relations

Michel Viana Smykalla, Hugo Luiz Mariano

Forcing was first introduced by Paul J. Cohen in his work on the independence of the Continuum Hypothesis. Other formulations of forcing appeared using Model Theory, Boolean-valued…