Skip to main content
added 50 characters in body
Source Link
Jing Zhang
  • 3.1k
  • 1
  • 18
  • 16

I'm mainly concerned with countable support iterations of proper forcings that add reals of some large cardinal length. It is known that countable support iteration of Sacks forcing/Cohen forcing of weakly compact ($\kappa$) length forces $\kappa=\omega_2$ has the tree property. Is there a general theorem, like: for any $\langle P_i, \dot{Q}_j: i\leq \kappa, j<\kappa\rangle$ countable support iteration of proper forcings that add reals for some large cardinal $\kappa$ (weakly compact or measurable or even larger), then the tree property at $\omega_2$ holds in the forcing extension? Note $2^\omega=\kappa=\omega_2$ in the extension.

Edit: for larger cardinals as Sean Cox pointed out, the answer is positive.

I'm mainly concerned with countable support iterations of proper forcings that add reals of some large cardinal length. It is known that countable support iteration of Sacks forcing/Cohen forcing of weakly compact ($\kappa$) length forces $\kappa=\omega_2$ has the tree property. Is there a general theorem, like: for any $\langle P_i, \dot{Q}_j: i\leq \kappa, j<\kappa\rangle$ countable support iteration of proper forcings that add reals for some large cardinal $\kappa$ (weakly compact or measurable or even larger), then the tree property at $\omega_2$ holds in the forcing extension? Note $2^\omega=\kappa=\omega_2$ in the extension.

I'm mainly concerned with countable support iterations of proper forcings that add reals of some large cardinal length. It is known that countable support iteration of Sacks forcing/Cohen forcing of weakly compact ($\kappa$) length forces $\kappa=\omega_2$ has the tree property. Is there a general theorem, like: for any $\langle P_i, \dot{Q}_j: i\leq \kappa, j<\kappa\rangle$ countable support iteration of proper forcings that add reals for some large cardinal $\kappa$ (weakly compact), then the tree property at $\omega_2$ holds in the forcing extension? Note $2^\omega=\kappa=\omega_2$ in the extension.

Edit: for larger cardinals as Sean Cox pointed out, the answer is positive.

Source Link
Jing Zhang
  • 3.1k
  • 1
  • 18
  • 16

Countable support iteration of proper forcings and the tree property

I'm mainly concerned with countable support iterations of proper forcings that add reals of some large cardinal length. It is known that countable support iteration of Sacks forcing/Cohen forcing of weakly compact ($\kappa$) length forces $\kappa=\omega_2$ has the tree property. Is there a general theorem, like: for any $\langle P_i, \dot{Q}_j: i\leq \kappa, j<\kappa\rangle$ countable support iteration of proper forcings that add reals for some large cardinal $\kappa$ (weakly compact or measurable or even larger), then the tree property at $\omega_2$ holds in the forcing extension? Note $2^\omega=\kappa=\omega_2$ in the extension.