[FOM] FOM: Re: comments on RT2 paper
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.
More information about the FOM