[FOM] FOM: Re: comments on RT2 paper

Andreas Weiermann weiermann at math.uu.nl
Thu Sep 30 10:04:39 EDT 2004

Dear members of FOM,

I would like to announce a result concerning RT(2,2).
WKL_0+RT(2,2) does prove the totality of the Ackermann function.
(The proof is based on an interesting
preprint by Bigorajska and Kotlarski which shall appear in TAMS.)
Whether the totality of the Ackermann function can be proved
within RCA_0+RT(2,2) is still open.

Best regards,
Andreas Weiermann

More information about the FOM mailing list