Ax-Schanuel for linear differential equations

DOI10.1007/S00153-017-0602-3zbMATHOpenAlexMaRDI QIDQ1661684FDO

Authors V. A. Aslanyan

Publication date 16 August 2018

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1603.04712

zbMATH Keywords

Ax-Schanuel theorempredimensionabstract differential equationmodel-theoretic algebraHrushovski construction

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Abstract differential equations (12H20) Model theory of fields (12L12)

Abstract: We generalise the exponential Ax-Schanuel theorem to arbitrary linear differential equations with constant coefficients. Using the analysis of the exponential differential equation by J. Kirby and C. Crampin we give a complete axiomatisation of the first order theories of linear differential equations and show that the generalised Ax-Schanuel inequalities are adequate for them.

Recommendations

• The theory of the exponential differential equations of semiabelian varieties
• Differential existential closedness for the 𝑗-function
• Definability of derivations in the reducts of differentially closed fields
• Hrushovski amalgams
• Adequate predimension inequalities in differential fields
• Ax-Schanuel and strong minimality for the \(j\)-function
• A note on Schanuel's conjectures for exponential logarithmic power series fields
• On Schanuel's conjectures
• Finiteness theorems on hypersurfaces in partial differential-algebraic geometry
• Automorphism groups of differentially closed fields

Cites work

• scientific article; zbMATH DE number 125200 (Why is no real title available?)
• scientific article; zbMATH DE number 3587373 (Why is no real title available?)
• scientific article; zbMATH DE number 1169378 (Why is no real title available?)
• scientific article; zbMATH DE number 1531889 (Why is no real title available?)
• scientific article; zbMATH DE number 2204764 (Why is no real title available?)
• scientific article; zbMATH DE number 3232021 (Why is no real title available?)
• Definability of derivations in the reducts of differentially closed fields
• EXPONENTIAL SUMS EQUATIONS AND THE SCHANUEL CONJECTURE
• Exponential algebraicity in exponential fields
• Model theory of special subvarieties and Schanuel-type conjectures
• On Schanuel's conjectures
• Pseudo-exponential maps, variants, and quasiminimality
• Pseudo-exponentiation on algebraically closed fields of characteristic zero
• The theory of the exponential differential equations of semiabelian varieties

Cited in

(7)

• Differential existential closedness for the 𝑗-function
• A note on a theorem of Ax
• Hrushovski amalgams
• Ax-Schanuel and strong minimality for the \(j\)-function
• A Schanuel condition for Weierstrass equations
• Definability of derivations in the reducts of differentially closed fields
• Adequate predimension inequalities in differential fields

This page was built for publication: Ax-Schanuel for linear differential equations

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