AI 中文总结
该研究针对任意承载集的梯子系统空间，证明有限标记一致化性质与Δ-性质等价，得出有限与可数尾重数对应同一承载理想，还刻画了剩余迹的结构与子承载集理想的性质，留下相关开放问题。
AI 中文摘要
对于承载集为$S\subseteq E^{ω_1}_ω$的梯子系统空间$X_L$，有限标记一致化性质$M_{<ω}$刻画了可数亚紧性，且可数亚紧性等价于$Δ$-性质。这两个等价关系对于定驻承载集是已知的。对于任意承载集，主动尾公式给出了$M_{<ω}$等价于$Δ$-性质的直接证明，并导出了支撑有限分解定理，以及避免显式梯子位置阈值的俱乐部小性准则和迹准则。\n结合Fodor引理的俱乐部间隙论证表明，有限尾重数与可数尾重数确定了同一个承载理想，即$\mathrm{NS}\restriction S$。孤立部分中与每个梯子仅交于有限个点的子集具有闭开剩余迹，且这些迹构成一个广义布尔代数。所有这类迹都与剩余的承载部分不交。最后，其限制空间为$σ$-闭离散的子承载集构成一个包含$\mathrm{NS}\restriction S$的理想$\mathcal{C}_L$。若$X_L$是$Δ$-空间，基于阈值的粘合论证表明$\mathcal{C}_L$是一个$σ$-理想。这一结论是否对所有梯子系统成立仍未解决。
英文摘要
For a ladder-system space $X_L$ with carrier $S\subseteq E^{ω_1}_ω$, the finite-label uniformization property $M_{<ω}$ characterizes countable metacompactness, and countable metacompactness is equivalent to the $Δ$-property. Both equivalences are known for stationary carriers. For arbitrary carriers, an active-tail formulation gives a direct proof that $M_{<ω}$ is equivalent to the $Δ$-property and leads to a support-finite decomposition theorem, together with club-smallness and trace criteria that avoid explicit ladder-position thresholds. A club-gap argument, combined with Fodor's lemma, shows that finite and countable tail multiplicity determine the same carrier ideal, namely $\mathrm{NS}\restriction S$. Subsets of the isolated part that meet each ladder in only finitely many points have clopen remainder traces, and these traces form a generalized Boolean algebra. All such traces are disjoint from the carrier part of the remainder. Finally, the subcarriers whose restricted spaces are $σ$-closed discrete form an ideal $\mathcal{C}_L$ containing $\mathrm{NS}\restriction S$. If $X_L$ is a $Δ$-space, a threshold-based gluing argument shows that $\mathcal{C}_L$ is a $σ$-ideal. Whether this holds for every ladder system remains open.
Comments28 pages
