Anders Lundstedt

Old material: Necessarily non-analytic induction proofs