Date: Jan 18, 2013 6:33 AM
Subject: Re: Finitely definable reals.

On 17 Jan., 23:59, Virgil <> wrote:

> > Which term of PPP...PPP(N) is prohibited?
> Why should any of them be prohibited?
> NO matter how many times one iterates it, it will never lead to a set of
> all sets, or anything else that is a problem.

Infinitely many iterations are not different from oo + 1 iterations.
That means the power set operation will no longer increase the

Regards, WM