Saturday, October 27, 2007

The art of ordinal analysis

I've just come across Michael Rathjen's 2006 paper The art of ordinal analysis. A useful and pretty clear survey.

No comments: