The model theory of ordered differential fields
From MaRDI portal
Publication:4179009
DOI10.2307/2271951zbMath0396.03031OpenAlexW1974524462MaRDI QIDQ4179009
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
DecidabilityModel TheoryReal Analytic FunctionsClosed Ordered Differential FieldsReal Meromorphic Functions
Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Differential algebra (12H05) Abstract differential equations (12H20) Ordered fields (12J15)
Related Items (32)
Book review of: M. Aschenbrenner et al., Asymptotic differential algebra and model theory of transseries ⋮ On the relationship between differential algebra and tropical differential algebraic geometry ⋮ Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets ⋮ On a differential intermediate value property ⋮ A Class of Differential Fields with Minimal Differential Closures ⋮ Henselian residually \(p\)-adically closed fields ⋮ Differential and difference algebra ⋮ Distality in valued fields and related structures ⋮ Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022 ⋮ \(T\)-convex \(T\)-differential fields and their immediate extensions ⋮ Differentially large fields ⋮ Topological differential fields ⋮ On differentially closed ordered fields ⋮ A geometric model of an arbitrary differentially closed field of characteristic zero ⋮ SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY ⋮ On coincidence of dimensions in closed ordered differential fields ⋮ Generic derivations on o-minimal structures ⋮ Definable types in the theory of closed ordered differential fields ⋮ Definability of types and VC density in differential topological fields ⋮ A nullstellensatz and a positivstellensatz for ordered differential fields ⋮ STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS ⋮ Embedded Picard–Vessiot extensions ⋮ On parameterized differential Galois extensions ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ The uniform companion for large differential fields of characteristic 0 ⋮ Further notes on cell decomposition in closed ordered differential fields ⋮ Cell decomposition and dimension function in the theory of closed ordered differential fields ⋮ A primitive element theorem for fields with commuting derivations and automorphisms ⋮ Power series solutions of algebraic differential equations ⋮ Note on differentially closed valued fields. (Note sur les corps différentiellement clos valués). ⋮ Differential Galois cohomology and parameterized Picard–Vessiot extensions ⋮ Topological fields with a generic derivation
Cites Work
This page was built for publication: The model theory of ordered differential fields
