Models with arbitrarily large automorphism groups
= Models with arbitrarily large automorphism groups
Every first-order theory with an infinite model has models whose <automorphism group of a first-order structure>[automorphism groups] have arbitrarily large cardinality. Choose a total order with many order automorphisms and apply the <Ehrenfeucht-Mostowski theorem>.