Separably closed fields and contractive Ore modules

DOI10.1017/JSL.2015.42MaRDI QIDQ2795920zbMATH OpenOpenAlexFDO

Authors Luc Bélair, Françoise Point

Publication date 22 March 2016

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1405.1772, http://www.archipel.uqam.ca/7607/1/BP-sep-clos-june15.pdf

zbMATH Keywords

quantifier eliminationseparably closed fieldsskewy polynomial ringsvalued modules

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Valued fields (12J10) Ordinary and skew polynomial rings and semigroup rings (16S36)

Abstract: 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.

Recommendations

• Quantifier elimination in valued Ore modules
• SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
• The theory of modules of separably closed fields 1
• scientific article; zbMATH DE number 2020241
• Valued fields with contractive automorphism and Kaplansky fields

Cites work

• \(p\)-adic analytic groups
• Embedding Theorems for Abelian Groups with Valuations
• scientific article; zbMATH DE number 3752829 (Why is no real title available?)
• The theory of modules of separably closed fields. II.
• Theory of non-commutative polynomials

Cited in

(3)

• Quantifier elimination in valued Ore modules
• Valued modules on skew polynomial rings and Bézout domains
• Valued fields with contractive automorphism and Kaplansky fields

This page was built for publication: Separably closed fields and contractive Ore modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2795920)