UofC Navigation

Monday, November 17, 2008

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:

At November 18, 2008 10:44 AM , Blogger Rafal Urbaniak said...

This post has been removed by the author.

 
At November 18, 2008 10:49 AM , Blogger Rafal Urbaniak said...

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