Distality for the asymptotic couple of the field of logarithmic transseries

DOI10.1215/00294527-2020-0010zbMATH Open1484.03068arXiv1802.05732OpenAlexW3015701434MaRDI QIDQ778739FDOQ778739

Authors: Allen Gehret, Elliot Kaplan 

Publication date: 20 July 2020

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

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.

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

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

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)

Cites Work

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

Cited In (5)

• Hamel spaces and distal expansions
• The asymptotic couple of the field of logarithmic transseries
• 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)