On 2/15/05 4:30 PM, "Jeffrey Ketland" <ketland at ketland.fsnet.co.uk> wrote: > Right. I noted that Tr(PA) is equivalent to ACA. What does the word "equivalent" mean here? What does "Tr(PA)" mean here? ACA normally refers to the two sorted system of arithmetic comprehension with parameters and full induction. Harvey Friedman