Prädikatenlogik/Strukturen/Elementar äquivalent/Definition
Erscheinungsbild
Elementar äquivalent
Zwei -Strukturen und über einem erststufigen Symbolalphabet heißen elementar äquivalent, wenn jeder -Satz, der in gilt, auch in gilt.
Zwei
-Strukturen
und
über einem
erststufigen Symbolalphabet
heißen
elementar äquivalent,
wenn jeder
-Satz,
der in
gilt, auch in
gilt.