The Primitive Recursive Analysis of Ordinary Differential Equations and the Complexity of their Solutions

Journal of Symbolic Logic 39 (2):345-346 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272686

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,813

External links

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

Through your library

My notes

Similar books and articles

Review: John Cleave, The Primitive Recursive Analysis of Ordinary Differential Equations and the Complexity of their Solutions. [REVIEW]Webb Miller - 1974 - Journal of Symbolic Logic 39 (2):345-346.
Recursive analysis of singular ordinary differential equations.Peter Buser & Bruno Scarpellini - 2010 - Annals of Pure and Applied Logic 162 (1):20-35.
On the relation between elementary partial difference equations and partial differential equations.I. P. van den Berg - 1998 - Annals of Pure and Applied Logic 92 (3):235-265.
Which set existence axioms are needed to prove the cauchy/peano theorem for ordinary differential equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.
Traveling-Wave Solutions for Korteweg–de Vries–Burgers Equations through Factorizations.O. Cornejo-Pérez, J. Negro, L. M. Nieto & H. C. Rosu - 2006 - Foundations of Physics 36 (10):1587-1599.
by Joel Moses.Marvin L. Minsky - unknown
Gravitational Perturbations of a Radiating Spacetime.Manasse R. Mbonye & Ronald L. Mallett - 2000 - Foundations of Physics 30 (5):747-774.
Alexis Fontaine's integration of ordinary differential equations and the origins of the calculus of several variables.John L. Greenberg - 1982 - Annals of Science 39 (1):1-36.
Decidability and complexity of event detection problems for ODEs.Keijo Ruohonen - 1997 - Complexity 2 (6):41-53.
Trial Equation Method Based on Symmetry and Applications to Nonlinear Equations Arising in Mathematical Physics.Cheng-Shi Liu - 2011 - Foundations of Physics 41 (5):793-804.
Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive $\omega$ -Rule.Zlatan Damnjanovic - 1998 - Notre Dame Journal of Formal Logic 39 (3):363-388.
On the computational complexity of integral equations.Ker-I. Ko - 1992 - Annals of Pure and Applied Logic 58 (3):201-228.
Unary primitive recursive functions.Daniel E. Severin - 2008 - Journal of Symbolic Logic 73 (4):1122-1138.
Fragments of First and Second-Order Arithmetic and Length of Proofs.Aleksandar Djordje Ignjatovic - 1990 - Dissertation, University of California, Berkeley
Ramsey's Theorem for Pairs and Provably Recursive Functions.Alexander Kreuzer & Ulrich Kohlenbach - 2009 - Notre Dame Journal of Formal Logic 50 (4):427-444.

Analytics

Added to PP
2015-02-05

Downloads
9 (#1,274,987)

6 months
1 (#1,507,095)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references