[FOM] FOM: Re: comments on RT2 paper

[Andreas Weiermann]

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