Assuming the existence of a proper class of supercompact cardinals, we force a generic extension in which, for every regular cardinal [Formula: see text], there are [Formula: see text]-Aronszajn trees, and all such trees are special.

中文翻译：

---

特殊的 Aronszajn 树属性

假设存在适当的超紧基数类，我们强制进行通用扩展，其中对于每个常规基数 [公式：见文本]，都有 [公式：见文本]-Aronszajn 树，并且所有这些树都是特殊的。