[FOM] #373 typo
Harvey Friedman
friedman at math.ohio-state.edu
Mon Dec 7 19:38:27 EST 2009
In http://www.cs.nyu.edu/pipermail/fom/2009-December/014221.html we
wrote
THEOREM 2.1. THE GREEDY CHAIN THEOREM. Let R be contained in
Q^k x Q^k, and S be a subset of Q. The following are equivalent.
i. There is an S-greedy chain for R contained in S^k.
ii. S is a well ordered subset of Q.
The quantifiers are flipped. This should read
THEOREM 2.1. THE GREEDY CHAIN THEOREM. Let S be contained in Q. The
following are equivalent.
i. For all R contained in Q^k x Q^k, there is an S-greedy chain for R
contained in S^k.
ii. S is a well ordered subset of Q.
Of course, the action really begins with THE UPPER SHIFT GREEDY CHAIN
THEOREM.
Harvey Friedman
More information about the FOM
mailing list