Maximal immediate extensions of valued differential fields

DOI10.1112/PLMS.12128MaRDI QIDQ4583434zbMATH OpenOpenAlexFDO

Authors Matthias Aschenbrenner, Joris van der Hoeven, Lou van den Dries

Publication date 30 August 2018

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1701.06691

zbMATH Keywords

spherically complete immediate strict extensionvalued differential field

Mathematics Subject Classification ID

Differential algebra (12H05) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) General valuation theory for fields (12J20)

Abstract: We show that every valued differential field has an immediate strict extension that is spherically complete. We also discuss the issue of uniqueness up to isomorphism of such an extension.

Recommendations

• On the uniqueness of maximal immediate extensions of valued differential fields
• On maximal immediate extensions of valued fields
• On the unicity of immediate maximal extensions of valued fields
• ON THE IMMEDIATE EXTENSIONS OF A VALUED FIELD
• Immediate and purely wild extensions of valued fields

Cited in

(15)

• Newtonian valued differential fields with arbitrary value group
• Differential-henselianity and maximality of asymptotic valued differential fields
• Hardy type derivations on generalised series fields
• On the uniqueness of maximal immediate extensions of valued differential fields
• Liouville closed H_T-fields
• On maximal immediate extensions of valued fields
• Spherically complete models of Hensel minimal valued fields
• Monotone T-convex T-differential fields
• Analytic Hardy fields
• Newton polygon
• On maximal immediate extensions of valued division algebras
• Maximal immediate extension of a fibre product of valuation domains
• Immediate and purely wild extensions of valued fields
• \(T\)-convex \(T\)-differential fields and their immediate extensions
• Separably closed valued fields: immediate expansions

This page was built for publication: Maximal immediate extensions of valued differential fields

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