Mathematische Logik/Gemischte Definitionsabfrage/16/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Die rekursive Definition für die Ausdrücke in einer Sprache erster Stufe.
  2. Ein Ideal in einem kommutativen Ring .
  3. Die Variablensubstitution für einen -Ausdruck , wobei Variablen und fixierte -Terme seien.
  4. Die Ableitbarkeit eines Ausdrucks im prädikatenlogischen Kalkül.
  5. Die Arithmetische Repräsentierbarkeit einer Abbildung
  6. Eine (formale) Modallogik.