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


  1. In einem Peano-Halbring gilt für jedes die Eigenschaft: Entweder ist oder es gibt ein mit .
  2. Es sei ein Symbolalphabet, eine Menge an -Ausdrücken und ein weiterer -Ausdruck. Dann gilt genau dann, wenn es eine endliche Teilmenge gibt mit .
  3. Die Menge der wahren arithmetischen Ausdrücke (ohne freie Variablen) ist nicht -entscheidbar.