Multiplicative Valued Difference Fields - Mathematics > LogicReportar como inadecuado




Multiplicative Valued Difference Fields - Mathematics > Logic - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: The theory of valued difference fields $K, \sigma, v$ depends on how thevaluation $v$ interacts with the automorphism $\sigma$. Two special cases havealready been worked out - the isometric case, where $v\sigmax = vx$ forall $x\in K$, has been worked out by Luc Belair, Angus Macintyre and ThomasScanlon; and the contractive case, where $v\sigmax > n\cdot vx$ for all$n\in\mathbb{N}$ and $x\in K^\times$ with $vx > 0$, has been worked out bySalih Azgin. In this paper we deal with a more general version, called themultiplicative case, where $v\sigmax = ho\cdot vx$, where $ ho > 0$is interpreted as an element of a real-closed field. We give an axiomatizationand prove a relative quantifier elimination theorem for such a theory.



Autor: Koushik Pal

Fuente: https://arxiv.org/







Documentos relacionados