We investigate a notion called uniqueness in power κ that is akin to categoricity in power κ, but is based on the cardinality of the generating sets of models instead of on the cardinality of their universes. The notion is quite useful for formulating categoricity-like questions regarding powers below the cardinality of a theory. We prove, for universal theories T, that if T is κ-unique for one uncountable κ, then it is κ-unique for every uncountable κ; in particular, it is (...) categorical in powers greater than the cardinality of T. (shrink)

T is stable. We define the notion of meager regular type and prove that a meager regular type is locally modular. Assuming I < 2o and G is a definable abelian group with locally modular regular generics, we prove a counterpart of Saffe's conjecture. Using these results, for superstable T we prove the conjecture of vanishing multiplicities. Also, as a further application, in some additional cases we prove a conjecture regarding topological stability of pseudo-types over Q.

In [R. Vaught, Denumerable models of complete theories, in: Infinitistic Methods, Pregamon, London, 1961, pp. 303–321] Vaught conjectured that a countable first order theory has countably many or 20 many countable models. Here, the following special case is proved.

A reduct of a first-order structure is another structure on the same set with perhaps fewer definable predicates. We consider reducts of the complex field which are proper but nontrivial in a sense to be made precise in the paper. Our main result lists seven kinds of reducts. The list is complete in the sense that every reduct is a finite cover of one of these. We also investigate when two items on our list can be the same, in a (...) couple of natural senses. (shrink)

We characterize the non-modular models of a unidimensional first-order theory of modules as the elementary submodels of its prime pure-injective model. We show that in case the maximal non-modular submodel of a given model splits off this is true for every such submodel, and we thus obtain a cancellation result for this situation. Although the theories in question always have models whose maximal non-modular submodel do split off, they may as well have others where they don't. We present a corresponding (...) example. (shrink)

Assume T is unidimensional, 1-based and every minimal type in T is locally finite. If H is an Λ -definable irreducible group, we find an irreducible supergroup G of H in acleq such that any connected subgroup of Gn, n < ω, is the connected component of a subgroup linearly defined over the ring End*. In some cases we can take G = H.