Del i serien vieweg studium; Aufbaukurs Mathematik

Einführung in die Mathematische Logik und Modelltheorie

Häftad, Tyska, 1986

AvAlexander Prestel

589 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1986-01-01
Mått170 x 244 x 17 mm
Vikt528 g
FormatHäftad
SpråkTyska
Serievieweg studium; Aufbaukurs Mathematik
Antal sidor286
Upplaga1986
FörlagSpringer Fachmedien Wiesbaden
ISBN9783528072605

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

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.

Mer från samma författare

Del 123

Numbers

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, John H. Ewing

Häftad

1 109 kr

Mathematical Logic and Model Theory

Alexander Prestel, Charles N. Delzell

Häftad

979 kr

Mengenlehre für den Mathematiker

Ulf Friedrichsdorf, Alexander Prestel

Häftad

649 kr

Valued Fields

Antonio J. Engler, Alexander Prestel

Inbunden

1 939 kr

Positive Polynomials

Alexander Prestel, Charles Delzell

Inbunden

699 kr

Zahlen

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, Klaus Lamotke

Häftad

719 kr