Valuation theory: A constructive view (Q800426)

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.