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

definable setdifferential fielddimensionordered fieldpair of fields

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) 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.

Review text

The present paper concerns the various variants of dimension in closed ordered differential fields. The authors establish a coincidence of the differential or \(\delta\)-dimension and the large dimension for sets definable in the pair \(\mathcal{M}=\langle \mathcal{R}, C\rangle\), where \(\mathcal{K}=\langle \mathcal{R}, \delta\rangle\) is a closed ordered differential field, and \(C\) is a field of constants. They also characterize definable sets in \(\mathcal{K}\) that are internal to \(C\) in terms of \(\delta\)-dimension.

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

• 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
• scientific article; zbMATH DE number 1187511 (Why is no real title available?)
• 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

(4)

• Further notes on cell decomposition in closed ordered differential fields
• Cell decomposition and dimension function in the theory of closed ordered differential fields
• Dimension in the realm of transseries
• Some applications of ordinal dimensions to the theory of differentially closed 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)