
Re: Notation
Posted:
May 26, 2013 5:34 AM


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 etath level?
 I think I am an Elephant, Behind another Elephant Behind /another/ Elephant who isn't really there.... A.A. Milne

