Skip to main content
SpringerLink
Log in

Ax–Schanuel for linear differential equations

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

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 Kirby (The theory of exponential differential equations, 2006, Sel Math 15(3):445–486, 2009) and Crampin (Reducts of differentially closed fields to fields with a relation for exponentiation, 2006) 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aslanyan, V.: Ax–Schanuel type inequalities in differentially closed fields. Ph.D. thesis, University of Oxford (2017). https://ora.ox.ac.uk/objects/uuid:bced8c2d-22df-4a21-9a1f-5e4204b6c85d

  2. Aslanyan, V.: Definability of derivations in the reducts of differentially closed fields. J. Symb Logic (2017). To (appear in)

  3. Ax, J.: On Schanuel’s conjectures. Ann. Math. 93, 252–268 (1971)

    Article  MathSciNet  MATH  Google Scholar 

  4. Bays, M., Kirby, J.: Pseudo-exponential maps, variants, and quasiminimality (2016). arXiv:1512.04262v2

  5. Birkhoff, G., Rota, G.C.: Ordinary Differential Equations. Wiley, New York (1978)

    MATH  Google Scholar 

  6. Crampin, C.: Reducts of differentially closed fields to fields with a relation for exponentiation. Ph.D. thesis, University of Oxford (2006)

  7. Droste, M., Göbel, R.: A categorical theorem on universal objects and its application in abelian group theory and computer science. Contemp. Math. 131(3), 49–74 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  8. Kirby, J.: The theory of exponential differential equations. Ph.D. thesis, University of Oxford (2006)

  9. Kirby, J.: The theory of the exponential differential equations of semiableian verieties. Sel. Math. 15(3), 445–486 (2009)

    Article  Google Scholar 

  10. Kirby, J.: Exponential algebraicity in exponential fields. Bull. Lond. Math. Soc. 42, 879–890 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  11. Lang, S.: Introduction to Transcendental Numbers. Addison-Wesley, Springer, Berlin (1966)

    MATH  Google Scholar 

  12. Macintyre, A., Wilkie, A.: On the decidability of the real exponential field. In: Kreiseliana, pp. 441–467. A. K. Peters, Wellesley, MA (1996)

  13. Marker, D.: Model theory of differential fields. In: Marker, D., Messmer, M., Pillay, A. (eds.) Model Theory of Fields, vol. 5. Lecture Notes in Logic. Springer, Berlin (2005)

  14. Zilber, B.: Exponential sums equations and the Schanuel conjecture. J.L.M.S. 65(2), 27–44 (2002)

    MathSciNet  MATH  Google Scholar 

  15. Zilber, B.: Pseudo-exponentiation on algebraically closed fields of characteristic zero. Ann. Pure Appl. Logic 132(1), 67–95 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  16. Zilber, B.: Analytic and pseudo-analytic structures. In: Cori, R., Razborov, A., Tudorcevic, S., Wood, C. (eds.) Logic Colloquium 2000. Lecture Notes in Logic, vol. 19, pp. 392–408 (2005)

  17. Zilber, B.: Model theory of special subvarieties and Schanuel-type conjectures. Ann. Pure Appl. Logic 167, 1000–1028 (2016)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematical Institute, University of Oxford, Oxford, UK

    Vahagn Aslanyan

Authors
  1. Vahagn Aslanyan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vahagn Aslanyan.

Additional information

This work was supported by the University of Oxford Dulverton Scholarship.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Aslanyan, V. Ax–Schanuel for linear differential equations. Arch. Math. Logic 57, 629–648 (2018). https://doi.org/10.1007/s00153-017-0602-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-017-0602-3

Keywords

Mathematics Subject Classification

Search

Navigation