Multiplicative valued difference fields

Abstract: The theory of valued difference fields

(K, s i g m a, v)

depends on how the valuation

v

interacts with the automorphism

s i g m a

. Two special cases have already been worked out - the isometric case, where

v (s i g m a (x)) = v (x)

for all

x i n K

, has been worked out by Luc Belair, Angus Macintyre and Thomas Scanlon; and the contractive case, where

v (s i g m a (x)) > n c d o t v (x)

for all

n i n m a t h b b N

and

x i n K^{i} m e s

with

v (x) > 0

, has been worked out by Salih Azgin. In this paper we deal with a more general version, called the multiplicative case, where

v (s i g m a (x)) = h o c d o t v (x)

, where

h o (> 0)

is interpreted as an element of a real-closed field. We give an axiomatization and prove a relative quantifier elimination theorem for such a theory.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Multiplicative valued difference fields