Arithmetik/Satzmenge/Erlaubt Repräsentierungen (stark) von R/Definition

Aus Wikiversity
Erlaubt Repräsentierungen

Es sei eine Menge von arithmetischen Ausdrücken. Man sagt, dass Repräsentierungen erlaubt, wenn jede -berechenbare Relation und jede -berechenbare Funktion repräsentiert.