{"id":"arxiv/2609.20718","url":"https://arxiv.org/abs/2609.20718","tags":["math.OA","math.LO"],"score":0,"title":"Revisiting the Transfinite Christensen-Pedersen Argument","domain":"math.OA","source":"arxiv","authors":["Jananan Arulseelan"],"reviews":0,"subject":"math.OA","summary":"Christensen and Pedersen proved that every properly infinite $\\mathrm{AW}^*$-algebra is monotone sequentially complete, and Saitô and Wright developed a transfinite form of their dilation argument. We revisit the transfinite construction using normality of $\\mathrm{AW}^*$-algebras. Normality simplifies the limit stages by turning suprema into compressions of joins, so the construction only needs a supply of fresh orthogonal projections large enough to contain the supports of the summands at successor stages. We use this simplified proof to show that a $*$-homomorphism between…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}