Repräsentierbare Funktion (in Ausdrucksmenge)
Es sei eine Menge von
arithmetischen Ausdrücken.
Eine
Funktion
-
heißt
repräsentierbar
in , wenn es einen -Ausdruck in
freien Variablen
derart gibt, dass für alle -Tupel
die folgenden Eigenschaften
- Wenn
,
so ist ,
- Wenn
,
so ist ,
- ,
gelten.