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

[mario]

Hi,

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

Regards
mario chiari

On Thu, 2006-02-02 at 15:15 -0600, William Tait wrote:
> On Feb 1, 2006, at 10:33 PM, Bill Taylor wrote:
> > This was mentioned by Andreas Weierman the other day, and I can  
> > find no
> > help on Googol for it.
> >
> > Can someone please explain what it is, for us?
> 
> The proof theoretic strength of a formal subsystem of second-order  
> number theory is sometimes measured by the LUB of the ordinals alpha  
> for which (suitably formulated) transfinite induction up to alpha or  
> definition by transfinite recursion up to alpha can be derived in the  
> system.
> 
....

> Kind regards,
> 
> Bill Tait
>