[FOM] Productive sets

pax0 at seznam.cz pax0 at seznam.cz
Wed Dec 14 10:59:11 EST 2011

Suppose that P is a productive set with productive function p.
Put W_n=\emptyset and
W_h(x)=W_x U {p(x)}.
Suppose that repetition occurs in W.

Why exactly then
W \notsubset P
Jan Pax

More information about the FOM mailing list