# Papers by Konrad Zdanowski

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!

## 2 Comments:

This post has been removed by the author.

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...

Post a Comment

## Links to this post:

Create a Link

<< Home