The art of ordinal analysisBy Peter Smith / Logic / Leave a Comment / October 27, 2007 I’ve just come across Michael Rathjen’s 2006 paper The art of ordinal analysis. A useful and pretty clear survey.