Einführung in die Mathematische Logik und Modelltheorie

Name: Einführung in die Mathematische Logik und Modelltheorie
Brand: Vieweg+Teubner Verlag
Availability: OutOfStock
Rating: 5 (1 reviews)

By Alexander Prestel

0 - Default Title

Description

1 Logik 1. Stufe.- 1.1 Analyse mathematischer Beweise.- 1.2 Aufbau formaler Sprachen.- 1.3 Formale Beweise.- 1.4 Vollständigkeit der Logik 1. Stufe.- 1.5 Semantik 1. Stufe.- 1.6 Axiomatisierung einiger mathematischer Theorien.- Übungen zu Kapitel 1.- 2 Modellkonstruktionen.- 2.1 Termmodelle.- 2.2 Morphismen von Strukturen.- 2.3 Substrukturen.- 2.4 Elementare Erweiterungen und Ketten.- 2.5 Saturierte Strukturen.- 2.6 Ultraprodukte.- Übungen zu Kapitel 2.- 3 Eigenschaften von Modellklassen.- 3.1 Kompaktheit und Separation.- 3.2 Kategorizität.- 3.3 Modellvollständigkeit.- 3.4 Quantorenelimination.- Übungen zu Kapitel 3.- 4 Modelltheorie einiger algebraischer Theorien.- 4.1 Angeordnete abelsche Gruppen.- 4.2 Angeordnete Körper.- 4.3 Bewertete Körper: Beispiele und Eigenschaften.- 4.4 Algebraisch abgeschlossene bewertete Körper.- 4.5 Reell abgeschlossene bewertete Körper.- 4.6 Henselsche Körper.- Übungen zu Kapitel 4.- Anhang. Bemerkungen zur Entscheidbarkeit.- Literaturhinweise.- Symbolverzeichnis.- Namen- und Sachwortverzeichnis.

Product details

Binding:: Paperback
Edition:: 1
Number of Pages:: 304
Release Date:: 1986-01-01
Publication Date:: 1986-01-01
Publisher:: Vieweg+Teubner Verlag
Languages:: Original: German
ISBN10:: 3528072601
ISBN13:: 9783528072605
GPSR Manufacturer Reference:: [email protected]
Weight:: 528 g
Height:: 17 cm
Width:: 24.4 cm
Thickness:: 1.7 cm

Buy on Amazon

Currently sold out