Anders Lundstedt

All files: Necessarily non-analytic induction