Mathematische Logik/Gemischte Satzabfrage/2/Aufgabe/Lösung

Aus Wikiversity


  1. Es sei ein Symbolalphabet einer Sprache erster Stufe gegeben und es seien paarweise verschiedene Variablen und fixierte -Terme. Es sei eine -Interpretation gegeben. Dann gelten folgende Aussagen.
    1. Für jeden -Term gilt
    2. Für jeden -Ausdruck gilt
  2. Die Menge

    ist nicht

    -entscheidbar.
  3. Es sei eine Menge von arithmetischen Ausdrücken, die Repräsentierungen erlaube. Dann gibt es zu jedem einen Satz mit