Via Theorem(e), I’ve come across the webpage of Konrad Zdanowski, a logician at the Polish Academy and Paris 7. His papers (mostly on arithmetic) all look incredibly interesting, he has lecture notes on Peano arithmetic, and there’s also a paper on 2nd order intuitionistic propositional logic, which is somewhat related to my own research. If I only weren’t so much behind in grading papers!
Interesting, thanks for posting this! Especially the `arithmetics in finite, but potentially infinite worlds’ bit. You haven’t read his dissertation, have you? What I’m thinking is: can (and how can) this be related to modal reconstructions of mathematical theories…