Anders Erik Vilhelm Lundstedt
Home
Teaching
Research
Blog
Old material: Necessarily non-analytic induction proofs
A self-contained note with some results that was not yet in the then current summary
version 2019-06-12:
pdf
,
txt
Logic Colloqium 2017
presentation
abstract (pdf)
slides (pdf)