Valuation theory: A constructive view
In Weiterführung früherer Arbeiten [\textit{W. Julian} und Verff., Pac. J. Math. 74, 91-102 (1978; Zbl 0347.12001), und Verff., Rocky Mt. J. Math. 12, 43-54 (1982; Zbl 0499.12019)] entwickeln die Verff. die Theorie einrangiger Bewertungen eines Körpers im konstruktiven Sinne von \textit{E. A. Bishop} [Foundations of constructive analysis (1967; Zbl 0183.015)]. Eine besondere Rolle spielen dabei Bewertungen \(| |\) von k, die pseudofaktoriell sind, d.h. derart, daß für jedes Polynom \(F\in k[X]\) das Infimum von \(\{| F(a)|:\quad a\in k\}\) konstruierbar ist. Für komplette nichtarchimedisch bewertete Körper werden die konstruktiven Analoga zu klassischen Sätzen, u.a. dem Henselschen Lemma, bewiesen. Ferner wird mit Hilfe der Henselisierung die Fortsetzung einer diskreten Bewertung auf eine n-dimensionale separable Erweiterung, einschließlich des Beweises der Gleichung \(n=\sum e_ i\cdot f_ i,\) konstruktiv behandelt, und zwar unter gewissen die Konstruierbarkeit garantierenden Zusatzvoraussetzungen, die im Falle algebraischer Zahlkörper stets erfüllt sind.
- Algebraic numbers, a constructive development
- Construction of the integral closure of a finite integral domain
- scientific article; zbMATH DE number 3174540 (Why is no real title available?)
- scientific article; zbMATH DE number 3720908 (Why is no real title available?)
- scientific article; zbMATH DE number 3233758 (Why is no real title available?)
- scientific article; zbMATH DE number 3291139 (Why is no real title available?)
- scientific article; zbMATH DE number 3309311 (Why is no real title available?)
- scientific article; zbMATH DE number 3186965 (Why is no real title available?)
- On Constructive Fields
- Separability and factoring polynomials
- Valuation theory and its applications. Volume II. Proceedings of the international conference and workshop, University of Saskatchewan, Saskatoon, Canada, July 28--August 11, 1999
- Book review of: S. Alesker, Introduction to the theory of valuations
- Overview of utility-based valuation
- Valuation theory and its applications. Abstracts from the workshop held October 26 -- November 1, 2014.
- Archimedean Valuations
- scientific article; zbMATH DE number 4101396 (Why is no real title available?)
- Introduction to the Theory of Valuations
- Henselian valued fields: a constructive point of view
- scientific article; zbMATH DE number 2233867 (Why is no real title available?)
- scientific article; zbMATH DE number 7325808 (Why is no real title available?)
This page was built for publication: Valuation theory: A constructive view
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800426)