On differentially closed ordered fields

DOI10.1016/J.CRMA.2011.08.003MaRDI QIDQ640880zbMATH OpenOpenAlexFDO

Authors Françoise Point

Publication date 21 October 2011

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.crma.2011.08.003

zbMATH Keywords

differentially closed ordered fieldelimination of imaginarieso-minimal structureopen core

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)

Review text

Let \(M\) be an expansion of an ordered group endowed with a dense linear order. The open core of \(M\) is the structure having \(M\) as a domain and an \(n\)-ary relation for every non-empty definable subset of \(M^n\) (where \(n\) ranges over positive integers). The paper under review studies the open core of a differentially closed ordered field. It proves that such a field if definably complete and uniformly finite. By a result of Dolich, Miller and Steinhorn, it deduces that its open core is o-minimal. Moreover it shows that the theory of differentially closed ordered fields admits elimination of imaginaries.

Recommendations

• The model theory of m‐ordered differential fields
• The theory of closed ordered differential fields with \(m\) commuting derivations
• Definable types in the theory of closed ordered differential fields
• Note on differentially closed valued fields. (Note sur les corps différentiellement clos valués).
• Cell decomposition and dimension function in the theory of closed ordered differential fields

Cites work

• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Cell decomposition and dimension function in the theory of closed ordered differential fields
• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• Some remarks concerning the theory of ordered differentially closed fields.
• Structures having o-minimal open core
• The model theory of ordered differential fields

Cited in

(25)

• Further notes on cell decomposition in closed ordered differential fields
• Cell decomposition and dimension function in the theory of closed ordered differential fields
• Elimination of algorithmic quantifiers for ordered differential algebra
• Definability of types and VC density in differential topological fields
• Complete sets in differentially closed fields
• On coincidence of dimensions in closed ordered differential fields
• Open core and small groups in dense pairs of topological structures
• Topological fields with a generic derivation
• Some remarks concerning the theory of ordered differentially closed fields.
• The theory of closed ordered differential fields with \(m\) commuting derivations
• Note on differentially closed valued fields. (Note sur les corps différentiellement clos valués).
• Structures having o-minimal open core
• Ordered differential fields
• Rangs et types de rang maximum dans les corps différentiellement clos
• A nullstellensatz and a positivstellensatz for ordered differential fields
• Lascar and Morley ranks differ in differentially closed fields
• On differential Galois groups of strongly normal extensions
• Definable types in the theory of closed ordered differential fields
• Generic derivations on o-minimal structures
• Strong density of definable types and closed ordered differential fields
• On definable completeness for ordered fields
• The model theory of m‐ordered differential fields
• TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS
• Uniformly locally o‐minimal open core
• The number of countable differentially closed fields

This page was built for publication: On differentially closed ordered fields

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