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