[FOM] Re:Affine Pi01 Independence
Harvey Friedman
friedman at math.ohio-state.edu
Tue Nov 23 10:57:22 EST 2004
In #234, Affine Pi01 Independence, there is no need to have written p!.
It is clearly better to simply write p. Specifically:
I wrote
PROPOSITION 6. For all T in RAF([p!]^k,[k]), some A,T<[A^k]' contain
(8k)!! and the same min(T_x![A^<k]).
PROPOSITION 7. For all k,p >= 1 and T in RAF([p!]^k,[k]), there exists A
containedin [k2 p!] such that (8k)!! in A\T<[A^k], and for all x in
[p]^<k, min(T_x![A^<k]) in A delta T<[A^k].
Change to
PROPOSITION 6. For all T in RAF([p]^k,[k]), some A,T<[A^k]' contain
(8k)!! and the same min(T_x![A^<k]).
PROPOSITION 7. For all k,p >= 1 and T in RAF([p]^k,[k]), there exists A
containedin [pk^2] such that (8k)!! in A\T<[A^k], and for all x in
[p]^<k, min(T_x![A^<k]) in A delta T<[A^k].
Harvey Friedman
More information about the FOM
mailing list