[FOM] Feferman's natural well-ordering problem.

[William Tait]

On Feb 4, 2006, at 3:23 AM, mario wrote:
> Michael Rathjen has a very nice introductory paper on so called  
> Ordinal
> Analysis. See at:
> http://www.amsta.leeds.ac.uk/Pure/staff/rathjen/srealm.ps
>
> http://www.amsta.leeds.ac.uk/Pure/staff/rathjen/preprints.html
> (Rathjen`s preprints).
>
> Stan Wainer is at Leeds too, but I don`t see the draft William Tait is
> pointing to:
> http://www.amsta.leeds.ac.uk/Pure/staff/wainer/wainer.html

Thank you for the reference to Rathjen's paper. Incidentally, he is  
now at Ohio State, I believe. The Wainer paper I had in mind is  
"Accessible recursive functions" [BSL 3 No. 3 (1999)]. In the  
Concluding remarks he writes

An underlying theme is the search for an acceptable definition of  
"natural well-ordering"...

Regards,

Bill Tait