Recursive analysis of singular ordinary differential equations

Annals of Pure and Applied Logic 162 (1):20-35 (2010)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Law along the Frontier: Differential Equations and Their Boundary Conditions.Mark Wilson - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:565 - 575.

Analytics

Added to PP
2013-12-18

Downloads
53 (#294,453)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.
Two undecidable problems of analysis.Bruno Scarpellini - 2003 - Minds and Machines 13 (1):49-77.
Zwei Unentscheidbare Probleme Der Analysis.Bruno Scarpellini - 1963 - Mathematical Logic Quarterly 9 (18-20):265-289.

Add more references