The model theory of ordered differential fields

DOI10.2307/2271951MaRDI QIDQ4179009zbMATH OpenOpenAlexFDO

Authors Michael F. Singer

Publication date 1978

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2271951

zbMATH Keywords

Closed Ordered Differential FieldsDecidabilityModel TheoryReal Analytic FunctionsReal Meromorphic Functions

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model-theoretic algebra (03C60) Differential algebra (12H05) Abstract differential equations (12H20) Ordered fields (12J15) Decidability and field theory (12L05)

Cites work

• Ordered differential fields

Cited in

(38)

• Further notes on cell decomposition in closed ordered differential fields
• Cell decomposition and dimension function in the theory of closed ordered differential fields
• Power series solutions of algebraic differential equations
• Differential and difference algebra
• Book review of: M. Aschenbrenner et al., Asymptotic differential algebra and model theory of transseries
• Definability of types and VC density in differential topological fields
• Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
• On coincidence of dimensions in closed ordered differential fields
• Topological fields with a generic derivation
• A primitive element theorem for fields with commuting derivations and automorphisms
• Note on differentially closed valued fields. (Note sur les corps différentiellement clos valués).
• \(T\)-convex \(T\)-differential fields and their immediate extensions
• SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY
• 2004 Summer Meeting of the Association for Symbolic Logic
• A Class of Differential Fields with Minimal Differential Closures
• Embedded Picard-Vessiot extensions
• A nullstellensatz and a positivstellensatz for ordered differential fields
• Differential Galois cohomology and parameterized Picard-Vessiot extensions
• On a differential intermediate value property
• Distality in valued fields and related structures
• Definable types in the theory of closed ordered differential fields
• A geometric model of an arbitrary differentially closed field of characteristic zero
• Generic derivations on o-minimal structures
• Strong density of definable types and closed ordered differential fields
• The uniform companion for large differential fields of characteristic 0
• On parameterized differential Galois extensions
• Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
• Differentially large fields
• Topological differential fields
• On differentially closed ordered fields
• Rigid differentially closed fields
• On formal power series solutions of regular differential chains
• Model theory of differential-henselian pre-H-fields
• On definable groups and D-groups in certain fields with a generic derivation
• Dimension and topology in transserial tame pairs
• On ordinary differentially large fields
• On the relationship between differential algebra and tropical differential algebraic geometry
• Henselian residually \(p\)-adically closed fields

This page was built for publication: The model theory of ordered differential fields

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