Ax–Schanuel for linear differential equations

Autor: Vahagn Aslanyan
Rok vydání: 2017
Předmět:
Zdroj: Archive for Mathematical Logic. 57:629-648
ISSN: 1432-0665
0933-5846
DOI: 10.1007/s00153-017-0602-3
Popis: 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.
24 pages. Minor changes in Sections 1-5. Section 6 has been significantly modified
Databáze: OpenAIRE