FOM: Bad Typo
Harvey Friedman
friedman at math.ohio-state.edu
Tue Jul 20 08:13:07 EDT 1999
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.
More information about the FOM
mailing list