We construct a large family of normal κκ-complete RκRκ-embeddable non-special κ+κ+-Aronszajn trees which have no club isomorphic subtrees using an instance of the proxy principle of Brodsky-Rinot.
生成讲解博客的中文版本
生成AI智能校验的中文版本