Mathematische Logik/Gemischte Definitionsabfrage/15/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Ein Wort über einem Alphabet .
  2. Eine Ordnungsrelation auf einer Menge .
  3. Die (rekursiv definierte) Gültigkeit eines prädikatenlogischen -Ausdruckes bei einer -Interpretation auf einer Menge .
  4. Ein -Homomorphismus

    zwischen zwei -Strukturen und .

  5. Die Multiplikation mit in einem Dedekind-Peano-Modell .
  6. Die Ableitbarkeit eines modallogischen Ausdrucks im -System.