Posts
feed2025-06-10 |
Finitely non-standard models of Robinson arithmetic
[research] [academia] |
2019-05-30 |
Slides: Necessarily non-analytic induction proofs
[research] [academia] |
2019-05-24 |
Welcome to my blog
|