A. Prestel

most citedUniform definability of henselian valuation rings in the Macintyre language

5 citations · 5 across the 2 of their papers we have counts for

collaborators

3 papers

math.AC2014★ 5 cited

Uniform definability of henselian valuation rings in the Macintyre language

Arno Fehm, Alexander Prestel

We discuss definability of henselian valuation rings in the Macintyre language $L_{Mac}$ , the language of rings expanded by n-th power predicates. In particular, we s…

math.AC2014

Definable henselian valuation rings

Alexander Prestel

We give model theoretic criteria for $\exists\forall$ and $\forall\exists$ - formulas in the ring language to define uniformly the valuation rings $O$ of models $(K, \ma…

math.AC2013

Algebraic Characterization of Rings of Continuous p-adic Valued Functions

S. V. Leite, A. Prestel

The aim of this paper is to give an algebraic characterization of the rings $C (X, Q_{p})$ of all continuous $Q_{p}$ -valued functions on a compact space $X$ . The charac…