Date: Jan 11, 2013 4:29 AM Author: Aatu Koskensilta Subject: Re: Finitely definable reals. Zuhair <zaljohar@gmail.com> writes:

> 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.

What is meant here by "Finitary formula"?

--

Aatu Koskensilta (aatu.koskensilta@uta.fi)

"Wovon man nicht sprechen kann, darĂ¼ber muss man schweigen"

- Ludwig Wittgenstein, Tractatus Logico-Philosophicus