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


  1. In einem Peano-Halbring gilt für jeden Ausdruck in der freien Variablen die Aussage
  2. Es seien und isomorphe -Strukturen über einem Symbolalphabet . Dann sind und elementar äquivalent.
  3. /Fakt