Cohen forcing
= Cohen forcing
{c}
{wiki}
Cohen forcing consists of finite partial approximations to a new subset or function, ordered by reverse inclusion. Meeting the ground-model dense sets makes the union a total generic object.
= Cohen forcing
{c}
{wiki}
Cohen forcing consists of finite partial approximations to a new subset or function, ordered by reverse inclusion. Meeting the ground-model dense sets makes the union a total generic object.