实现 $\mathfrak{a}_{\text{T}}$ 的任意大谱

我们改进了实现 $\mathfrak{a}_{\text{T}}$ 各种谱的最先进证明技术，以实现任意大的谱。因此，我们在解决 Brian 在其近期工作中提出的问题上取得了重大进展。作为副产品，我们获得了许多完全子力（complete subforcings），并对添加所需大小的 $\mathfrak{a}_{\text{T}}$ 谱见证的力（forcing）的自同构进行了代数分析。