Anders Erik Vilhelm Lundstedt

Posts

feed
Finitely non-standard models of Robinson arithmetic
[research] [academia]
Slides: Necessarily non-analytic induction proofs
[research] [academia]
Welcome to my blog