\(\text{GCH} + \square_ k\) implies the existence of two non-isomorphic complete normal \(\text{ST}_{k^ +}\) (Q1179342)

Let \(\lozenge\) denote the diamond principle, \(\square\) the box principle, \(ST_ k\) a \(\text{Suslin}_ k\)-tree. The report presents a new thorough relation between the above combinatorial principles and the \(\text{Suslin}_ k\)-trees. \textit{T. Jech} showed [Set theory (1978; Zbl 0419.03028)] that \(\lozenge\) implies \(ST_{\omega_ 1}\). By this work we know that \(V=L\) plus \(\lozenge\) implies a rigid \(ST_{\omega_ 1}\) and a homogeneous \(ST_{\omega_ 1}\). These two \(ST_{\omega_ 1}\) are non-isomorphic. If \(V\neq L\), it is easily verified that \(\lozenge\) implies the existence of two non-isomorphic normal \(ST_{\omega_ 1}\). Here we prove that \(\text{GCH}+\lozenge_{\omega_ 2}\) implies the existence of two non- isomorphic complete normal \(ST_{\omega_ 2}\). And we work out a generalization and further prove that \(\text{GCH}+\square_ k\) implies the existence of two non-isomorphic complete normal \(ST_{k^ +}\), where \(cf(k)>\aleph\), \(k\) a regular cardinal.