{"id":"arxiv/2607.25979","url":"https://arxiv.org/abs/2607.25979","tags":["math.LO","math.GN"],"score":0,"title":"Carrier ideals, tail obstructions, and remainder traces for ladder-system spaces","domain":"math.LO","source":"arxiv","authors":["Xing-Yu Hu"],"reviews":0,"subject":"math.LO","summary":"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,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-28","reactions":{}}