Anders Erik Vilhelm Lundstedt

Overview

Current research

Natural induction (a model-theoretic study)

The above heading is the working title of my PhD thesis.

Chapter drafts

Old material

What has now turned into my thesis project was previously “just” a research project, which went under the title ‘Necessarily non-analytic induction proofs’. The following is the material that I have previously made available—here on my website—under that title.

Most of this is very outdated. Some manuscripts contain errors that I have corrected in manuscripts not yet made public. Still all of the below material, corrected, reformulated or strengthened (‘or’ here being inclusive), will eventually find its way into my thesis. (In the meantime, anyone interested may contact me for unfinished manuscripts.)

For 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

Past research

A Coq formalization of partial combinatory algebras and realizability

My BA thesis in philosophy

My BSc thesis in Engineering Physics