On coincidence of dimensions in closed ordered differential fields

DOI10.1215/00294527-2021-0013MaRDI QIDQ1982011zbMATH OpenOpenAlexFDO

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

Publication date 7 September 2021

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

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

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)

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.

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.

Cites work

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

Cited in

(3)

• Dimension in the realm of transseries
• Further notes on cell decomposition in closed ordered differential fields
• 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)