First-order axiomatization of an automorphism
ID: first-order-axiomatization-of-an-automorphism
After adjoining a unary function symbol , injectivity, surjectivity, preservation of each operation, and preservation in both directions of each relation form an axiom scheme whose models interpret as an automorphism.
New to topics? Read the docs here!