Bachelorarbeit aus dem Jahr 2014 im Fachbereich Mathematik - Algebra, Note: 1,0, Universität Wien, Sprache: Deutsch, Abstract: Die vorliegende Arbeit soll einen Beweis des Satzes von Tarski-Seidenberg mittels der Methode der Hermite Matrizen liefern. Außerdem werden Folgerungen wie Quantorenelimination in reell abgeschlossenen Körpern und das Transferprinzip vorgestellt, um abschließend die Lösung zum 17-ten Problem von Hilbert zu geben.