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

William Tait wwtx at earthlink.net
Sat Feb 4 13:18:06 EST 2006

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


Bill Tait

More information about the FOM mailing list