Shooting a club with finite conditions

Abstract: We study cohabitation of the poset

P_{S}

shooting a club through a given stationary subset

S

of

o m e g a_{1}

with finite conditions with other forcings. Sample results: (1)

P_{S}

"sometimes" preserves presaturatedness of

N S_{o m e g a_{1}}

(2)

P_{S} = P_{T}

if

S = T m o d N S_{o m e g a_{1}}

(in Boolean algebra sense) (3) Cons ( one can embed

Q,

the poset adding

a l e p h_{1}

Cohen reals, to

P_{S}

such that reals in

V^{Q}

are the same as reals in

V^{P_{S}} .

)

This page was built for publication: Shooting a club with finite conditions