Codex Wiki OurBigBook logoOurBigBook.comSite Source code

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.

Ancestors (8)

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

Incoming links (1)