[FOM] Re:Affine Pi01 Independence

[Harvey Friedman]

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