On coincidence of dimensions in closed ordered differential fields

DOI10.1215/00294527-2021-0013zbMATH Open1485.03121arXiv2002.12929OpenAlexW3125822221MaRDI QIDQ1982011FDOQ1982011

N. Regnault, Omar León Sánchez, Pantelis E. Eleftheriou

Publication date: 7 September 2021

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

Abstract: Let $mathcalK=langlemathcalR,deltaangle$ be a closed ordered differential field, in the sense of M. Singer, and $C$ its field of constants. In this note, we prove that, for sets definable in the pair $mathcalM=langlemathcalR,Cangle$, the $delta$-dimension and the large dimension coincide. As an application, we characterize the definable sets in $mathcalK$ that are internal to $C$ as those sets that are definable in $mathcalM$ and have $delta$-dimension $0$. We further show that, for sets definable in $mathcalK$, having $delta$-dimension $0$ does not generally imply co-analyzability in $C$ (in contrast to the case of transseries). We also point out that the coincidence of dimensions also holds in the context of differentially closed fields and in the context of transseries.

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

Recommendations

• Cell decomposition and dimension function in the theory of closed ordered differential fields
• Some applications of ordinal dimensions to the theory of differentially closed fields
• Complete sets in differentially closed fields
• Further notes on cell decomposition in closed ordered differential fields
• Some remarks concerning the theory of ordered differentially closed fields.

zbMATH Keywords

differential fielddimensiondefinable setordered fieldpair of fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Interpolation, preservation, definability (03C40) Ordered fields (12J15) Model theory of fields (12L12)

Cites Work

• Thorn independence in the field of real numbers with a small multiplicative group
• Title not available (Why is that?)
• Asymptotic Differential Algebra and Model Theory of Transseries
• T-convexity and tame extensions
• THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
• A Class of Differential Fields with Minimal Differential Closures
• Dimension of definable sets, algebraic boundedness and Henselian fields
• The model theory of ordered differential fields
• Definable types in the theory of closed ordered differential fields
• On differentially closed ordered fields
• Paires de structures stables
• Solution of a problem of Tarski
• Complete theories of algebraically closed fields with distinguished subfields
• Dimensions, matroids, and dense pairs of first-order structures
• Cell decomposition and dimension function in the theory of closed ordered differential fields
• The nonminimality of the differential closure
• Structure theorems in tame expansions of o-minimal structures by a dense set
• INTERPRETABLE GROUPS, STABLY EMBEDDED SETS, AND VAUGHTIAN PAIRS
• Dimension in the realm of transseries

Cited In (1)

• Cell decomposition and dimension function in the theory of closed ordered differential fields

This page was built for publication: On coincidence of dimensions in closed ordered differential fields

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