Necessarily non-analytic induction proofs
Collaborating with Eric Johannesson.
For the latest technical results see the summary. For a more conceptual
discussion see the Stockholm Logic Seminar presentation. For slides, the
JAF 38 presentation is more or less a condensed version of the FLoV Logic
Seminar presentation (also, the linked blog post adresses some problems in the