hamkins-induction.pdf