In a previous paper I proposed a notion of (ω1,β)(ω1,β)-morasses for ω1≤βω1≤β. In the present paper such morasses are constructed in an inner model which satisfies amenability, coherence and condensation.
生成讲解博客的中文版本
生成AI智能校验的中文版本