It is a theorem of Baumgartner and Laver that iterating Sacks forcings of weakly compact length gives rise to the tree property at $\omega\_2$. Natural questions (at least for me) are: do we get stronger tree properties at $\omega\_2$ if we start with larger cardinals? In particular, if the length is strongly compact, do we get the strong tree property at $\omega\_2$? If the length is supercompact, do we get the super tree property at $\omega\_2$? I suspect it is known so I appreciate pointers to references.



> 
> For uncountable cardinals $\kappa\leq \lambda$ with $\kappa$ being regular, we say $F\subset \bigcup\_{u\in [\lambda]^{<\kappa}} 2^u$ is a $(\kappa,\lambda)$-tree if it is closed under taking restrictions, and for each $u\in [\lambda]^{<\kappa}$, $|F\_u:=\{f\in F: dom(f)=u\}|<\kappa$. A function $d: \lambda\to 2$ is a cofinal branch if for all $u\in [\lambda]^{<\kappa}$, $d\restriction u\in F\_u$. Given $\bar{f} = \langle f\_u\in F: dom(f\_u)=u\rangle$ (called a level sequence), we say $d: \lambda\to 2$ is an $\bar{f}$-ineffable branch if $\{u\in [\lambda]^{<\kappa}: d\restriction u = f\_u\}$ is stationary in $[\lambda]^{<\kappa}$.
> 
> 
> We say $\kappa$ has the strong tree property if for any $\lambda\geq \kappa$, any $(\kappa, \lambda)$-tree has a cofinal branch.
> 
> 
> We say $\kappa$ has the super tree property if for any $\lambda\geq \kappa$, any $(\kappa, \lambda)$-tree $F$ and any level sequence $\bar{f}$, there exists an $\bar{f}$-ineffable branch.
> 
> 
> 


**Edit:** I just realized the answer in the case where the length is strongly compact is yes: the countable support iteration of Sacks forcings of strongly compact length forces the Semistationary Reflection Principle (equivalent to the statement that all stationary preserving forcings are semiproper and in fact stronger statement, i.e. the Baire version of Rado's conjecture, holds), along with $\neg CH$, implies the strong tree property holds at $\omega\_2$ by Torres-Perez and Wu (<https://www.researchgate.net/publication/306394279_Strong_Chang's_Conjecture_Semi-Stationary_Reflection_the_Strong_Tree_Property_and_two-cardinal_square_principles>). The question remains for the case where the length is supercompact.



Iterated forcing and the super tree property at $\omega_2$
The answer to the supercompact case is yes. More specifically, in the forcing extension obtained by iterating Sacks forcing of supercompact length, the super tree property at $\omega\_2$ holds. This follows from the following: 
1) Countable support iteration of Sacks forcing satisfies $\omega\_1$-approximation property. This was essentially shown in Baumgartner and Laver's classical paper about iterated Sacks forcing
2) Theorem 5.4 in Weiss' paper: Combinatorial Essence of Supercompactness (<https://www.sciencedirect.com/science/article/pii/S0168007211001904>).


