Mathematische Logik/Gemischte Satzabfrage/13/Aufgabe/Lösung

1. In einem Peano-Halbring ${}M$ gilt für jeden Ausdruck ${}\alpha \in L^{\{0,1,+,\cdot \}}$ in der freien Variablen ${}x$ die Aussage

   $\exists x\alpha \rightarrow \exists y{\left(\alpha {\frac {y}{x}}\wedge \forall x{\left(\alpha \rightarrow x\geq y\right)}\right)}.$

2. Es seien ${}M$ und ${}N$ isomorphe ${}S$-Strukturen über einem Symbolalphabet ${}S$. Dann sind ${}M$ und ${}N$ elementar äquivalent.
3. /Fakt

Zur gelösten Aufgabe