[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