1. Berechenbarkeit und Nummerierungen von Modellen. - 1. 1. Algebraische Systemmodelle und -theorien. - 1. 2. Begriffe und Definitionen der Algorithmentheorie. - 1. 3. Die wichtigsten Begriffe und Ergebnisse der Nummerierungstheorie. - 1. 4. Nummerierte algebraische Systeme. - 2. Konstruktive Modelle. - 2. 1. Die einfachsten Eigenschaften. - 2. 2. Existenz von Konstruktivisierungen. - 2. 3. Das Kernel-Theorem und die Anwendungen. - 2. 4. Theorien mit endlichen Hindernissen. - 2. 5. Konstruktive Felder. - 3. Stark konstruktive und entscheidbare Modelle. - 3. 1. Starke Konstruierbarkeit und Typen. - 3. 2. Effektive Erweiterungen. - 3. 3. Entscheidbarkeit homogener Modelle. - 4. Theorien mit einem abzählbaren Satz abzählbarer Modelle. - 4. 1. Theorien mit entscheidbaren Modellen. - 4. 2. Die Ehrenfeucht-Theorien. - 4. 3. Die Komplexität abzählbarer Modelle der Ehrenfeucht-Theorien. - 5. Algorithmische Dimensionen und berechenbare Klassen. - 5. 1. Unendliche algorithmische Dimensionen. Kriterien. - 5. 2. Berechenbarkeit und effektiv unendliche Klassen. - 6. Modelle der endlichen algorithmischen Dimension und Autostabilität. - 6. 1. Autostabile Modelle. - 6. 2. Algebraische Systeme endlicher algorithmischer Dimension. -Referenzen. Sprache: Englisch