Ax-Schanuel for Linear Differential Equations
Logic
2018-01-19 v2
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.
Keywords
Cite
@article{arxiv.1603.04712,
title = {Ax-Schanuel for Linear Differential Equations},
author = {Vahagn Aslanyan},
journal= {arXiv preprint arXiv:1603.04712},
year = {2018}
}
Comments
24 pages. Minor changes in Sections 1-5. Section 6 has been significantly modified