{"id":"arxiv/2604.15894","url":"https://arxiv.org/abs/2604.15894","tags":["math.LO"],"score":0,"title":"Long Strong Chains of Subsets of $ω_1$","domain":"math.LO","source":"arxiv","authors":["David Asperó","Curial Gallart"],"reviews":0,"subject":"math.LO","summary":"We force the existence of a chain of length $ω_3$ in $[ω_1]^{ω_1}$ increasing modulo finite. The construction involves symmetric systems of models of two types as side conditions, introduced by the second author. This improves previous results of Koszmider and Veličković-Venturi.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-17","reactions":{}}