Diese Arbeit ist eine sorgfältige und detailreiche Einführung in die Grundkonzepte der inneren Modelltheorie. Wir beginnen mit der Entwicklung der Konstruktion von Ultrapotenzen und Iterationsbäumen. Das erste Hauptresultat ist die (ω_1 +1)-Iterierbarkeit von schönen Iterationsbäumen und die schwache Iterierbarkeit. Anschließend diskutieren wir Generizitätsiterationen und nützliche Varianten davon. Diese werden im letzen Hauptresultat verwendet. Dort zeigen wir, dass L(R) ein Modell des Axioms der Determiniertheit ist.

This thesis is a careful and detailed introduction to the basic concepts of inner model theory. We start with developing the construction of ultrapowers and iteration trees. The first main result is the (ω_1 + 1)-iterability of nice iteration trees and weak iterability. We then discuss genericity iterations and some useful variants. They are used in the last main result which is that L(R) is a model of the Axiom of Determinacy.