Definable Henselian valuation rings

Abstract: We give model theoretic criteria for

e x i s t s f o r a l l

and

f o r a l l e x i s t s

- formulas in the ring language to define uniformly the valuation rings

m a t h c a l O

of models

(K, m a t h c a l O)

of an elementary theory

S i g m a

of henselian valued fields. As one of the applications we obtain the existence of an

e x i s t s f o r a l l

-formula defining uniformly the valuation rings

m a t h c a l O

of valued henselian fields

(K, m a t h c a l O)

whose residue class field

k

is finite, pseudo-finite, or hilbertian. We also obtain

f o r a l l e x i s t s

-formulas

v a r p h i_{2}

and

v a r p h i_{4}

such that

v a r p h i_{2}

defines uniformly

k [[t]]

in

k ((t))

whenever

k

is finite or the function field of a real or complex curve, and

v a r p h i_{4}

does the job if

k

is any number field.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Definable Henselian valuation rings