
Re: Ordinals describable by a finite string of symbols
Posted:
Jul 5, 2013 1:28 PM


apoorv wrote:
> [...] So, between two ordinals alpha and beta > Finitely definable, ( example w and c) are ordinals that cannot be finitely definable.
Your notation puzzles me. w is omega, but what is c? It is usually the cardinal of the reals. Do you mean omega_1?
 I think I am an Elephant, Behind another Elephant Behind /another/ Elephant who isn't really there.... A.A. Milne

