(Un)Gl. zwischen Polynomen

Erweiterung der Syntax:

das aus der Schule bekannte ,,Lösen quadratischer Gleichungen`` ist Quantor-Elimination:

($ \exists$x : x2 - x + a$ \le$0)$ \iff$(a$ \le$1/4).

in mehreren Variablen? -- Für Struktur $ \mathbb {R}$ entscheidbar

aber für $ \mathbb {Z}$ nicht! (Juri Matiasevitch, Julia Robinson)



2009-06-22