If a theory has arbitrarily large finite nonrigid models, expand its language by a unary function , axiomatize that is an automorphism, require to move some element, and add sentences demanding at least elements for every . Every finite fragment has a sufficiently large finite nonrigid model, so compactness supplies an infinite nonrigid model.
Articles by others on the same topic
There are currently no matching articles.