Universal unoid theories unique in power (Q1358060)

An algebraic system is said to be strictly \(\kappa\)-generated if it is generated by some subset of power \(\kappa\) and is not generated by any subset of less power. A theory \(T\) of algebraic systems is called \(\kappa\)-unique if every two strictly \(\kappa\)-generated models of \(T\) are isomorphic [see \textit{S. Givant} and \textit{S. Shelah}, Ann. Pure Appl. Logic 69, 27-51 (1994; Zbl 0813.03019)]. A theory \(T\) is said to be strongly \(\kappa\)-unique if \(T\) is \(\kappa\)-unique and the theory \(T\cup D{\mathfrak A}\) is \(\kappa\)-unique for every countably generated model \(\mathfrak A\) of \(T_\infty\). It is proved that any strongly \(\omega\)-unique universal theory is \(\omega_1\)-unique and that for any uncountable \(\kappa\), \(\kappa\)-uniqueness of any universal theory is equivalent to strong \(\kappa\)-uniqueness. Moreover, the property of strong uniqueness is regular. By a unoid the author means a system with unary operations only. He generalizes results of \textit{S. Givant} [Ann. Math. Logic 15, 1-53 (1978; Zbl 0401.03009)] to the case of \(\omega\)-unique theories of unoids \(T\). For such \(T\) he proves in particular that \(\omega_1\)-uniqueness, strong \(\omega\)-uniqueness and stability of \(T_\infty\) are equivalent.