Long Strong Chains of Subsets of ${\omega }_1$

David Asperó, Curial Gallart

We force the existence of a chain of length ${\omega }_3$ in $[{\omega }_1{]}^{{\omega }_1}$ increasing modulo finite. The construction involves symmetric systems of models of two types as side conditions,…