Mathematische Logik/Gemischte Definitionsabfrage/1/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe. Bei 3.-7. bedeutet ein Symbolalphabet einer prädikatenlogischen Sprache erster Stufe.

  1. Ein Primzahlzwilling.
  2. Die Bestandteile einer Grundtermmenge.
  3. Eine -Struktur zu einem Symbolalphabet einer Sprache erster Stufe.
  4. Ein allgemeingültiger prädikatenlogischer Ausdruck .
  5. Ein -Homomorphismus

    zwischen zwei -Strukturen und .

  6. Eine arithmetisch repräsentierbare Relation .