Posts
feed| 2026-06-17 |
On Caesar=0
[research] [academia] |
| 2026-05-19 |
Research update
[research] [academia] |
| 2025-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
|