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

Aus Wikiversity
Wechseln zu: Navigation, Suche
  1. /Fakt
  2. Es seien und isomorphe -Strukturen über einem Symbolalphabet . Dann sind und elementar äquivalent.
  3. /Fakt
Zur gelösten Aufgabe