R/Elementare Äquivalenz/Einelementig/Nicht trennbar/Aufgabe

Es sei

${}S=\{0,1,+,\cdot ,\geq \}\,$

das Symbolalphabet für einen angeordneten Körper und es sei ${}\mathbb {R}$ die ${}S$-Struktur mit der Standardinterpretation.

1. Zeige, dass die Äquivalenzklassen zur elementaren Äquivalenz einelementig sind.
2. Zeige, dass es für die Elemente im Allgemeinen keinen charakterisierenden Ausdruck gibt.

Zur Lösung, Alternative Lösung erstellen