Date: May 26, 2013 5:34 AM Author: Peter Percival Subject: Re: Notation William Elliot wrote:

>

> L_0 = emptyset = 0

> L_1 = { 0, {0} }. Let {0} = 1.

> L_2 = { 0, 1, {1}, {0,1} }

>

> L_(n+1) = L_n \/ P(L_n)

Not power set, else your L is V.

> L_omega0 = \/_n L_n.

>

> Is L_eta the correct notation for the constructible

> universe to the eta-th level?

--

I think I am an Elephant,

Behind another Elephant

Behind /another/ Elephant who isn't really there....

A.A. Milne