Zusammenfassung
In diesem Kapitel werden wir eine Reihe von interessanten algebraischen Theorien auf die Eigenschaften Vollständigkeit, Modellvollständigkeit und Quantorenelimination hin untersuchen. Neben den in der bestehenden Literatur schon öfters abgehandelten Standardbeispielen werden wir besonderen Wert auf die Theorie der bewerteten Körper legen. Da Bewertungstheorie nicht zum Standardrepertoire eines Algebrakurses gehört, besprechen wir in 4.3 die daraus benötigten Begriffe und Sätze zuerst ausführlich. Danach entwickeln wir über Spezialfälle (4.4 und 4.5) schließlich die Modelltheorie henselsch bewerteter Körper. Ziel dieser Darstellung ist u.a. die Behandlung eines rein zahlentheoretischen Problems — der Artinschen Vermutung — in Satz 4.27.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Prestel, A. (1986). Modelltheorie einiger algebraischer Theorien. In: Einführung in die Mathematische Logik und Modelltheorie. Vieweg Studium, vol 60. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-663-07641-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-663-07641-4_4
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-07260-5
Online ISBN: 978-3-663-07641-4
eBook Packages: Springer Book Archive