Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 10 Stimmen.
Model Theory for Beginners. 15 Lectures
Dieses Buch bietet eine Einführung in die Modelltheorie in 15 Vorlesungen.
Es konzentriert sich auf mehrere Schlüsselkonzepte: Definierbarkeit erster Ordnung, Klassifikation vollständiger Typen, elementare Erweiterungen, Kategorialität, Automorphismen und Sättigung; alle werden mit Beispielen illustriert, die weder fortgeschrittene Alegra noch Mengenlehre erfordern. Ein vollständiger Beweis des Kompaktheitssatzes für abzählbare Sprachen und seine Anwendungen werden gegeben, gefolgt von einer Diskussion der Ehrefeucht-Mostowski-Technik zur Konstruktion von Modellen, die Automorphismen zulassen.
Weitere Themen sind rekursive Sättigung, Nicht-Standard-Modelle der Arithmetik, Abraham Robinsons modelltheoretischer Beweis von Tarskis Theorem über die Undefinierbarkeit der Wahrheit und der Beweis des unendlichen Ramsey-Theorems unter Verwendung einer elementaren Erweiterung des Standardmodells der Arithmetik.
| ISBN: | 9781848903616 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2021 |
| Seitenzahl: | 152 |
Derzeit verfügbar, auf Lager.
