Overview

Ein wesentliches Ziel dieses Buches ist, Studenten des Hauptstudiums und interessierten Mathematikern die Möglichkeit zu eröffnen, die bekanntesten, in der Algebra zur Zeit üblichen modelltheoretischen Schlüsse kennen und verstehen zu lernen. Die Modelltheorie beschäftigt sich primär mit der Untersuchung der Modelle von Axiomensystemen, die in der Sprache der Logik erster Stufe formuliert sind. Die meisten, der in der Mathematik üblichen Axiomensystemen, gehören dazu.

Full Product Details

Author:   Alexander Prestel ,  A Prestel
Publisher:   Springer Fachmedien Wiesbaden
Imprint:   Vieweg+Teubner Verlag
Edition:   1986 ed.
Volume:   60
Dimensions:   Width: 17.00cm , Height: 1.60cm , Length: 24.40cm
Weight:   0.528kg
ISBN:  

9783528072605

ISBN 10:   3528072601
Pages:   286
Publication Date:   01 January 1986
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Language:   German

Table of Contents

1 Logik 1. Stufe.- 1.1 Analyse mathematischer Beweise.- 1.2 Aufbau formaler Sprachen.- 1.3 Formale Beweise.- 1.4 Vollstandigkeit der Logik 1. Stufe.- 1.5 Semantik 1. Stufe.- 1.6 Axiomatisierung einiger mathematischer Theorien.- UEbungen 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.- UEbungen zu Kapitel 2.- 3 Eigenschaften von Modellklassen.- 3.1 Kompaktheit und Separation.- 3.2 Kategorizitat.- 3.3 Modellvollstandigkeit.- 3.4 Quantorenelimination.- UEbungen zu Kapitel 3.- 4 Modelltheorie einiger algebraischer Theorien.- 4.1 Angeordnete abelsche Gruppen.- 4.2 Angeordnete Koerper.- 4.3 Bewertete Koerper: Beispiele und Eigenschaften.- 4.4 Algebraisch abgeschlossene bewertete Koerper.- 4.5 Reell abgeschlossene bewertete Koerper.- 4.6 Henselsche Koerper.- UEbungen zu Kapitel 4.- Anhang. Bemerkungen zur Entscheidbarkeit.- Literaturhinweise.- Symbolverzeichnis.- Namen- und Sachwortverzeichnis.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions