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