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.

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

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.