Recursive analysis of singular ordinary differential equations

DOI10.1016/J.APAL.2010.07.001zbMath1225.03057OpenAlexW2083203977MaRDI QIDQ638473

Peter Buser, Bruno Scarpellini

Publication date: 12 September 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2010.07.001

zbMATH Keywords

recursive analysisrecursively enumerable setscomputable ordinary differential equations

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Nonlinear ordinary differential equations and systems (34A34) Computation over the reals, computable analysis (03D78)

Related Items (1)

Computability of Differential Equations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The wave equation with computable initial data such that its unique solution is not computable
• Recursion theory on the reals and continuous-time computation
• Hypercomputation: Philosophical issues
• A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
• Differential recursion
• Hypercomputation
• Computability and Noncomputability in Classical Analysis
• Abstract Computability and Its Relation to the General Purpose Analog Computer (Some Connections Between Logic, Differential Equations and Analog Computers)
• AN EFFECTIVE CAUCHY-PEANO EXISTENCE THEOREM FOR UNIQUE SOLUTIONS
• Zwei Unentscheidbare Probleme Der Analysis
• Theory and Applications of Models of Computation
• Theory and Applications of Models of Computation

This page was built for publication: Recursive analysis of singular ordinary differential equations