Del 60 - vieweg studium; Aufbaukurs Mathematik

Einführung in die Mathematische Logik und Modelltheorie

Häftad, Tyska, 1986

Av Alexander Prestel, A. Prestel

599 kr

Beställningsvara. Skickas inom 7-10 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
SpråkTyska
Serievieweg studium; Aufbaukurs Mathematik
Antal sidor286
Upplaga1986
FörlagSpringer Fachmedien Wiesbaden
EAN9783528072605

Mer från samma författare

Numbers

Numbers

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

1 059 kr

Algebraic and Arithmetic Theory of Quadratic Forms

Algebraic and Arithmetic Theory of Quadratic Forms

Ricardo Baeza, John S. Hsia, Bill Jacob, Alexander Prestel

1 929 kr

Mathematical Logic and Model Theory

Mathematical Logic and Model Theory

Alexander Prestel, Charles N. Delzell

919 kr

Mengenlehre für den Mathematiker

Mengenlehre für den Mathematiker

Ulf Friedrichsdorf, Alexander Prestel

669 kr

Valued Fields

Valued Fields

Antonio J. Engler, Alexander Prestel

1 969 kr

Positive Polynomials

Positive Polynomials

Alexander Prestel, Charles Delzell

709 kr

Zahlen

Zahlen

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

729 kr

Valued Fields

Valued Fields

Antonio J. Engler, Alexander Prestel

1 969 kr

Positive Polynomials

Positive Polynomials

Alexander Prestel, Charles Delzell

709 kr

Mer från samma serie

Du kanske också är intresserad av

Lectures on Formally Real Fields

Del 1093

Lectures on Formally Real Fields

359 kr

Zahlen

Del 1

Zahlen

H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, A. Prestel, R. Remmert, H. -D Ebbinghaus, H. -D. Ebbinghaus, K. Lamotke

729 kr

Formally p-adic Fields

Del 1050

Formally p-adic Fields

A. Prestel, P. Roquette

359 kr

Set Theory and Model Theory

Set Theory and Model Theory

R.B. Jensen, A. Prestel, R. B. Jensen

359 kr

Differentialgeometrie von Kurven und Flächen

Differentialgeometrie von Kurven und Flächen

Manfredo P. do Carmo, Carmo, Manfredo P. ¿do¿ Carmo

789 kr

Algebra

Algebra

599 kr

Einführung in die algebraische Geometrie

Del 87

Einführung in die algebraische Geometrie

469 kr

Numerische Mathematik

Del 32

Numerische Mathematik

599 kr

Projektive Geometrie

Projektive Geometrie

Albrecht Beutelspacher, Ute Rosenbaum, Albrecht Beutelspacher, Ute Rosenbaum

469 kr

Algebra

Algebra

799 kr

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.