Arithmetisch repräsentierbar/N/Relation/Definition
Zur Navigation springen
Zur Suche springen
Arithmetisch repräsentierbare Relation
Eine Relation heißt arithmetisch repräsentierbar, wenn es einen -Ausdruck in freien Variablen derart gibt, dass für alle -Tupel die Äquivalenz genau dann, wenn gilt.