Arithmetik/Satzmenge/Funktion/Repräsentierung (stark)/Definition

Repräsentierbare Funktion (in Ausdrucksmenge)

Es sei ${}\Gamma$ eine Menge von arithmetischen Ausdrücken. Eine Funktion

$F\colon \mathbb {N} ^{r}\longrightarrow \mathbb {N} ^{s}$

heißt repräsentierbar in ${}\Gamma$, wenn es einen ${}L^{\rm {Ar}}$-Ausdruck ${}\psi$ in ${}r+s$ freien Variablen derart gibt, dass für alle ${}(r+s)$-Tupel ${}(n_{1},\ldots ,n_{r+s})\in \mathbb {N} ^{r+s}$ die folgenden Eigenschaften

1. Wenn ${}F(n_{1},\ldots ,n_{r})=(n_{r+1},\ldots ,n_{r+s})$, so ist ${}\Gamma \vdash \psi (n_{1},\ldots ,n_{r+s})$,
2. Wenn ${}F(n_{1},\ldots ,n_{r})\neq (n_{r+1},\ldots ,n_{r+s})$, so ist ${}\Gamma \vdash \neg \psi (n_{1},\ldots ,n_{r+s})$,
3. ${}\Gamma \vdash \exists !x_{r+1}\ldots \exists !x_{r+s}\psi (n_{1},\ldots ,n_{r},x_{r+1},\ldots ,x_{r+s})$,

gelten.