Einführung in die Mathematische Logik und Modelltheorie

AvAlexander Prestel

Häftad, Tyska, 1986

Del 60 i serien vieweg studium; Aufbaukurs Mathematik

469 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

452 kr

Produktinformation

Utgivningsdatum:1986-01-01
Mått:170 x 244 x 17 mm
Vikt:528 g
Format:Häftad
Språk:Tyska
Serie:vieweg studium; Aufbaukurs Mathematik
Antal sidor:286
Upplaga:1986
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528072605

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

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

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

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, 1990

886 kr

Mathematical Logic and Model Theory

Alexander Prestel, Charles N. Delzell

Häftad, 2011

776 kr

Mathematical Logic and Model Theory

Charles N. Delzell, Alexander Prestel

E-bok

2011

877 kr

Numbers

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

E-bok

2012

1 037 kr

Mengenlehre für den Mathematiker

Alexander Prestel, Ulf Friedrichsdorf

E-bok

2013

510 kr

Mengenlehre für den Mathematiker

Ulf Friedrichsdorf, Alexander Prestel

Häftad, 1985

521 kr

Valued Fields

Antonio J. Engler, Alexander Prestel

Inbunden, 2005

1 546 kr

Valued Fields

Alexander Prestel, Antonio J. Engler

E-bok

2005

1 906 kr

Positive Polynomials

Alexander Prestel, Charles Delzell

Inbunden, 2001

557 kr

Zahlen

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

Häftad, 1992

572 kr

Mer från samma serie

Codierungstheorie

Werner Lütkebohmert

Häftad, 2003

521 kr

Algebraische Topologie

Wolfgang Lück

Häftad, 2005

418 kr

Del 32

Numerische Mathematik

Jochen Werner

Häftad, 1992

469 kr

Del 33

Numerische Mathematik

Jochen Werner

Häftad, 1992

315 kr

Algebra

Ernst Kunz

Häftad, 1991

623 kr

Del 46

Einführung in die kommutative Algebra und algebraische Geometrie

Ernst Kunz

Häftad, 1980

623 kr

Del 48

Ausgewählte Kapitel aus der Funktionentheorie

Wolfgang Fischer, Ingo Lieb

Häftad, 1988

469 kr

Differentialgeometrie von Kurven und Flächen

Manfredo P. do Carmo

Häftad, 1983

623 kr

Einführung in die Wahrscheinlichkeitstheorie und Statistik

Ulrich Krengel

Häftad, 1988

572 kr

Del 63

Einführung in die reelle Algebra

Manfred Knebusch, Claus Scheiderer

Häftad, 1989

520 kr

Du kanske också är intresserad av