Distality for the asymptotic couple of the field of logarithmic transseries

DOI10.1215/00294527-2020-0010MaRDI QIDQ778739zbMATH OpenOpenAlexFDO

Authors Allen Gehret, Elliot Kaplan

Publication date 20 July 2020

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1802.05732, https://projecteuclid.org/euclid.ndjfl/1586224877

zbMATH Keywords

independence propertyasymptotic coupleslogarithmic transseriesasymptotic integrationdp-rankdistalityindiscernible sequences

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)

Abstract: We show that the theory $T_{log}$ of the asymptotic couple of the field of logarithmic transseries is distal. As distal theories are NIP (= the non-independence property), this provides a new proof that $T_{log}$ is NIP. Finally, we show that $T_{log}$ is not strongly dependent, and in particular, it is not $operatornamedp$-minimal and it does not have finite $operatornamedp$-rank.

Recommendations

• NIP for the asymptotic couple of the field of logarithmic transseries
• The asymptotic couple of the field of logarithmic transseries
• Distality in valued fields and related structures
• Distal and non-distal pairs
• Distal and non-distal NIP theories

Cites work

• A Guide to NIP Theories
• A course in model theory
• A tale of two Liouville closures
• Asymptotic differential algebra and model theory of transseries
• Cutting lemma and Zarankiewicz's problem in distal structures
• Dependent pairs
• Distal and non-distal NIP theories
• Distal and non-distal pairs
• Externally definable sets and dependent pairs. II
• NIP for the asymptotic couple of the field of logarithmic transseries
• On the Value Group of a Differential Valuation II
• Regularity lemma for distal structures
• Strong theories of ordered abelian groups
• The asymptotic couple of the field of logarithmic transseries

Cited in

(5)

• The asymptotic couple of the field of logarithmic transseries
• Hamel spaces and distal expansions
• DISTALITY RANK
• Distality in valued fields and related structures
• NIP for the asymptotic couple of the field of logarithmic transseries

This page was built for publication: Distality for the asymptotic couple of the field of logarithmic transseries

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