Modelltheorie für Einsteiger. 15 Vorlesungen

Bewertung:   (4,9 von 5)

Modelltheorie für Einsteiger. 15 Vorlesungen (Roman Kossak)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 10 Stimmen.

Originaltitel:

Model Theory for Beginners. 15 Lectures

Inhalt des Buches:

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.

Weitere Daten des Buches:

ISBN:9781848903616
Autor:
Verlag:
Einband:Taschenbuch
Erscheinungsjahr:2021
Seitenzahl:152

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Mathematische Logik: Über Zahlen, Mengen, Strukturen und Symmetrie - Mathematical Logic: On Numbers,...
Gibt eine Einführung in die formale mathematische...
Mathematische Logik: Über Zahlen, Mengen, Strukturen und Symmetrie - Mathematical Logic: On Numbers, Sets, Structures, and Symmetry
Modelltheorie für Einsteiger. 15 Vorlesungen - Model Theory for Beginners. 15 Lectures
Dieses Buch bietet eine Einführung in die Modelltheorie in 15...
Modelltheorie für Einsteiger. 15 Vorlesungen - Model Theory for Beginners. 15 Lectures

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)