Anders Erik Vilhelm Lundstedt


Current research

Necessarily non-analytic induction proofs

Collaborating with Eric Johannesson.

Most of this is very outdated. Updates expected in April May June 2022 2023.

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 addresses some problems in the slides).

Ellipsis usage in mathematics

Collaborating with Stefan Buijsman.

Past research

A Coq formalization of partial combinatory algebras and realizability

My BA thesis in philosophy