Universal theories categorical in power and \(\kappa\)-generated models (Q1337355): Difference between revisions

One of the difficulties with the notion of categoricity in power is that it is defined in terms of the cardinality of the universes of models instead of the cardinality of the generating sets. Let us call a model strictly \(\kappa\)-generated if \(\kappa\) is the minimum of the cardinalities of generating sets of the model. A theory is called \(\kappa\)-unique if it has, up to isomorphism, exactly one strictly \(\kappa\)-generated model. The paper proves that for uncountable universal theories \(T\), if \(T\) is \(\kappa\)-unique for one uncountable \(\kappa\), then it is \(\kappa\)-unique for every uncountable \(\kappa\); in particular, it is categorical in powers greater than the cardinality of \(T\).