• Title of article

    Recursive analysis of singular ordinary differential equations

  • Author/Authors

    Buser، نويسنده , , Peter and Scarpellini، نويسنده , , Bruno، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2010
  • Pages
    16
  • From page
    20
  • To page
    35
  • Abstract
    We investigate systems of ordinary differential equations with a parameter. We show that under suitable assumptions on the systems the solutions are computable in the sense of recursive analysis. As an application we give a complete characterization of the recursively enumerable sets using Fourier coefficients of recursive analytic functions that are generated by differential equations and elementary operations.
  • Keywords
    Computable ordinary differential equations , Recursive analysis , Recursively enumerable sets
  • Journal title
    Annals of Pure and Applied Logic
  • Serial Year
    2010
  • Journal title
    Annals of Pure and Applied Logic
  • Record number

    1444509