关注我们：

solidot新版网站常见问题，请点击这里查看。

Ax-Schanuel for Linear Differential Equations. (arXiv:1603.04712v2 [math.LO] UPDATED)

来源于:arXiv
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. 查看全文>>