[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)}.
Define 
W={p(n),p(h(n)),p(h(h(n)),....}
Suppose that repetition occurs in W.

Why exactly then
W \notsubset P
?
Jan Pax


More information about the FOM mailing list