[FOM] Feferman's natural well-ordering problem.
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
> Analysis. See at:
> (Rathjen`s preprints).
> Stan Wainer is at Leeds too, but I don`t see the draft William Tait is
> pointing to:
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
More information about the FOM