A tale of two Liouville closures

DOI10.2140/PJM.2017.290.41MaRDI QIDQ2363586zbMATH OpenOpenAlexFDO

Authors Allen Gehret

Publication date 20 July 2017

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

asymptotic couplesasymptotic fieldsLiouville extensions\(\lambda\)-freeness\(H\)-fieldsdifferential-valued fieldsLiouville closures

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Differential algebra (12H05) Rate of growth of functions, orders of infinity, slowly varying functions (26A12) Valued fields (12J10) Ordered fields (12J15)

Abstract: An $H$-field is a type of ordered valued differential field with a natural interaction between ordering, valuation, and derivation. The main examples are Hardy fields and fields of transseries. Aschenbrenner and van den Dries proved in~cite{MZ} that every $H$-field $K$ has either exactly one or exactly two Liouville closures up to isomorphism over $K$, but the precise dividing line between these two cases was unknown. We prove here that this dividing line is determined by $uplambda$-freeness, a property of $H$-fields that prevents certain deviant behavior. In particular, we show that under certain types of extensions related to adjoining integrals and exponential integrals, the property of $uplambda$-freeness is preserved. In the proofs we introduce a new technique for studying $H$-fields, the emph{yardstick argument} which involves the rate of growth of pseudoconvergence.

Recommendations

• \(H\)-fields and their Liouville extensions
• Liouville closed \(H\)-fields
• Asymptotic differential algebra and model theory of transseries
• Differentially algebraic gaps
• scientific article; zbMATH DE number 2202751

Cites work

• Asymptotic differential algebra and model theory of transseries
• Closed asymptotic couples
• Differential valuations
• Hardy fields
• NIP for the asymptotic couple of the field of logarithmic transseries
• On the Value Group of a Differential Valuation
• On the Value Group of a Differential Valuation II
• Ordered exponential fields
• The Rank of a Hardy Field
• The asymptotic couple of the field of logarithmic transseries
• Transseries and real differential algebra

Cited in

(7)

• Liouville closed \(H\)-fields
• On a differential intermediate value property
• Liouville closed \(H_T\)-fields
• Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall
• Distality for the asymptotic couple of the field of logarithmic transseries
• \(H\)-fields and their Liouville extensions
• Differentially algebraic gaps

This page was built for publication: A tale of two Liouville closures

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