FOM: Bad Typo

[Harvey Friedman]

In 53:Free Sets/Reverse Math, I wrote:

>Let F:N^k into N. An F-free set is an A containedin N such that for all
>x1,...,
xk in N, if F(x1,...,xk) is in A then F(x1,...,xk) is among x1,...,xk.

I meant to write:

Let F:N^k into N. An F-free set is an A containedin N such that for all x1,...,
xk in A, if F(x1,...,xk) is in A then F(x1,...,xk) is among x1,...,xk.

Sorry for the confusion. I'm grateful to Jeff Hirst for pointing this out.
I'll correct this also in my next numbered posting to keep the numbered
postings self contained.