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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Repräsentierbare Relation (in Ausdrucksmenge)

Es sei eine Menge von arithmetischen Ausdrücken. Eine Relation heißt repräsentierbar in , wenn es einen -Ausdruck in freien Variablen derart gibt, dass für alle -Tupel die beiden Eigenschaften

  1. Wenn , so ist ,
  2. Wenn , so ist ,

gelten.