1: \begin{definition}

2: \label{D:definable real-valued}

3: If $L$ is a signature, $f$ is a real-valued function symbol, and $T$ is a uniform $L[f]$-theory,

4: we will say that $f$ is $T$-\emph{definable} in $L$ if it satisfies the equivalent conditions of Theorem~\ref{T:beth}.

5: When $L$ is given by the context, we may simply say that $f$ is $T$-\emph{definable};

6: furthermore, if $L$ and $T$ are given by the context, we may say that $f$ is ``definable''.

7: \end{definition}

8: