DEFINABILITY OF DERIVATIONS IN THE REDUCTS OF DIFFERENTIALLY CLOSED FIELDS
From MaRDI portal
Publication:4600454
DOI10.1017/jsl.2017.54zbMath1422.03078arXiv1507.00971OpenAlexW3105598260MaRDI QIDQ4600454
Publication date: 11 January 2018
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1507.00971
abstract differential equationreductmodel theoretic algebradifferentially closed fielddefinable derivation
Model-theoretic algebra (03C60) Differential algebra (12H05) Abstract differential equations (12H20) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (3)
Ax-Schanuel for linear differential equations ⋮ Adequate predimension inequalities in differential fields ⋮ Ax-Schanuel and strong minimality for the \(j\)-function
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Ax-Schanuel for the \(j\)-function
- A new strongly minimal set
- Pseudo-exponentiation on algebraically closed fields of characteristic zero
- The theory of the exponential differential equations of semiabelian varieties
- A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
- On Schanuel's conjectures
- Model theory of special subvarieties and Schanuel-type conjectures
- EXPONENTIAL SUMS EQUATIONS AND THE SCHANUEL CONJECTURE
- Model Theory
This page was built for publication: DEFINABILITY OF DERIVATIONS IN THE REDUCTS OF DIFFERENTIALLY CLOSED FIELDS