加载中…
In this paper, we show that the failure of the unique branch hypothesis (UBH) for tame trees (see \rdef{tame iteration tree}) implies that in some homogenous generic extension of there is a transitive model containing $Ord \cup M\vDash AD^+ + \Theta > \theta_0$. In particular, this implies the existence (in ) of a non-tame mouse. The results of this paper significantly extend Steel’s earlier results from \cite{steel2002core} for tame trees.

生成讲解博客的中文版本

生成AI智能校验的中文版本