_0$-Sets -------------------  A perfect tree $T\subseteq \kappa^{<\kappa}$ is called a [[**$\kappa$-Laver perfect tree**]{}]{} if there exists $s\in T$ such that for all $t\in T$, either $t\subseteq s$, or $$\left|\left\{