2 results
K-theory of valuation rings
- Part of
-
- Journal:
- Compositio Mathematica / Volume 157 / Issue 6 / June 2021
- Published online by Cambridge University Press:
- 20 May 2021, pp. 1121-1142
- Print publication:
- June 2021
-
- Article
- Export citation
-
We prove several results showing that the algebraic
$K$-theory of valuation rings behaves as though such rings were regular Noetherian, in particular an analogue of the Geisser–Levine theorem. We also give some new proofs of known results concerning cdh descent of algebraic 
$K$-theory.
DEFINABLE HENSELIAN VALUATION RINGS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 22 December 2015, pp. 1260-1267
- Print publication:
- December 2015
-
- Article
- Export citation
-
We give model theoretic criteria for the existence of ∃∀ and ∀∃- formulas in the ring language to define uniformly the valuation rings
${\cal O}$ of models 
$\left( {K,\,{\cal O}} \right)$ of an elementary theory Σ of henselian valued fields. As one of the applications we obtain the existence of an ∃∀-formula defining uniformly the valuation rings 
${\cal O}$ of valued henselian fields 
$\left( {K,\,{\cal O}} \right)$ whose residue class field k is finite, pseudofinite, or hilbertian. We also obtain ∀∃-formulas φ2 and φ4 such that φ2 defines uniformly k[[t]] in k(t) whenever k is finite or the function field of a real or complex curve, and φ4 replaces φ2 if k is any number field.
