Ax–Schanuel for linear differential equations
Autor: | Vahagn Aslanyan |
---|---|
Rok vydání: | 2017 |
Předmět: |
Pure mathematics
Constant coefficients 12H05 12H20 03C60 Exponentiation Logic Differential equation 010102 general mathematics Mathematics - Logic 02 engineering and technology 021001 nanoscience & nanotechnology First order 01 natural sciences Differentially closed field Exponential function Mathematics::Logic Philosophy Linear differential equation FOS: Mathematics 0101 mathematics Algebra over a field Logic (math.LO) 0210 nano-technology Mathematics |
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 |
Externí odkaz: |