Prädikatenlogik/Strukturen/Elementar äquivalent/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Elementar äquivalent

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