A new model for all $C$-sequences are trivial

Assaf Rinot, Zhixing You, Jiachen Yuan

We construct a model in which all $C$-sequences are trivial, yet there exists a $\kappa$-Souslin tree with full vanishing levels. This answers a question of Lambie-Hanson and Rinot, and…