Separably closed fields and contractive Ore modules

Autor:	Bélair, Luc, Point, Françoise
Rok vydání:	2014
Předmět:	Mathematics - Logic Mathematics - Number Theory 03C60 03C10 16S36 12L
Druh dokumentu:	Working Paper
Popis:	We consider valued fields with a distinguished contractive map as valued modules over the Ore ring of difference operators. We prove quantifier elimination for separably closed valued fields with the Frobenius map, in the pure module language augmented with functions yielding components for a p-basis and a chain of subgroups indexed by the valuation group.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1405.1772 Zobrazit plný text záznamu View this record from Arxiv