Prädikatenlogik/Elementare Äquivalenz/Endlich viele Klassen/Trennende Ausdrücke/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet erster Stufe und eine -Struktur mit der Eigenschaft, dass es in nur endlich viele Klassen zur elementaren Äquivalenz gibt.

Dann gibt es zu jeder Äquivalenzklasse einen -Ausdruck in einer freien Variablen , der die Klasse beschreibt, für den also

gilt.