[FOM] Church-Kleene or Feferman-Schutte

Andreas Weiermann Andreas.Weiermann at UGent.be
Tue May 14 11:48:27 EDT 2013

Dear Sandro,

- when I understood the question correctly -  the Feferman-Schutte ordinal
like every proof-theoretic ordinal (which by definition is a recursive 
comes before the first non recursive ordinal \omega_1^CK.

But maybe I misunderstood something.


On 14/05/13 01:03, Sandro Skansi wrote:
> I was looking through my books and journals for to compile a list of 
> ordinals used in proof theory, but I did not seem to find anything 
> that could really help me make a diagram, except for Pohlers 1996 BSL 
> article. There I found almost everything, but I was not able to find 
> this, so I am asking it here on the FOM list:
> In terms of ordinals, starting from \omega, which one comes first, the 
> Church-Kleene ordinal (\omega_1^CK) or the Feferman-Schutte ordinal 
> (\Gamma_0)?
> Best regards,
> Sandro Skansi
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130514/113e13e1/attachment.html>

More information about the FOM mailing list