On the possible number no(M) \(=\,the\) number of nonisomorphic models \(L_{\infty,\lambda}\)-equivalent to M of power \(\lambda\) , for \(\lambda\) singular (Q1059627): Difference between revisions

Let M be a structure of power \(\lambda\) with \(\lambda\) relations, each of arity \(<\lambda\) and of power \(\leq \lambda\). Let \(\chi\) be the number of non-isomorphic structures of power \(\lambda\) that are \(L_{\infty,\lambda}\)-equivalent with M. The author shows that, assuming \(V=L\), if \(\lambda\) is regular and of uncountable cofinality then \(\chi\) may be any cardinal of \(0<\chi <\lambda\) or \(\chi =2^{\lambda}\). This supplements results of his earlier papers on the subject [beginning with his paper, ibid. 22, 5-10 (1981; Zbl 0453.03040)]. The proof is by construction, in part group-theoretical.