Date: Jan 13, 2013 4:47 PM
Subject: Re: Finitely definable reals.

On 13 Jan., 22:13, Dick <> wrote:
> On Friday, January 11, 2013 4:16:39 AM UTC-5, zuhair wrote:
> > Lets say that a real r is finitely definable iff there is a predicate P that is describable by a Finitary formula that is uniquely satisfied by r. Formally speaking: r is finitely definable
>  I think this would be more helpful if "finitely definable" were defined more carefully.

That is simple. A finitely definable item has a finite definition. A
finite definition is a definition consisting of a natural number of
characters of a finite alphabet of your choice or even of your
construction in a language of your choice or even of your

No computers or Turing machines required. Everybody can understand the

Regards, WM