Elementary induction on abstract structures (Studies in logic and the foundations of mathematics)