> 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