Codex Wiki OurBigBook logoOurBigBook.comSite Source code
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.

Ancestors (9)

  1. Rigid first-order structure
  2. Automorphism of a first-order structure
  3. First-order structure
  4. First-order logic
  5. Mathematical logic
  6. Foundations of mathematics
  7. Area of mathematics
  8. Mathematics
  9. Home