Adding highly generic subsets of \omega₂

Abstract: Starting from the

m G C H,

we build a cardinal and

m G C H

preserving generic extension of the universe, in which there exists a set

A s u b s e t e q o m e g a_{2}

of size

a l e p h_{2}

so that every countable subset of

A

or

o m e g a_{2} s e t m i n u s A

is Cohen generic over the ground model.

This page was built for publication: Adding highly generic subsets of $\omega_2$