Index sets for computable differential equations

DOI10.1002/malq.200310102zbMath1062.03038OpenAlexW1997947886MaRDI QIDQ3159419

Douglas Cenzer, Jeffery B. Remmel

Publication date: 16 February 2005

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200310102

zbMATH Keywords

index setcomputable analysiscomputability over the reals

Mathematics Subject Classification ID

Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Constructive and recursive analysis (03F60) Explicit solutions, first integrals of ordinary differential equations (34A05) Applications of computability and recursion theory (03D80) Hierarchies of computability and definability (03D55)

Related Items (2)

A LIGHTFACE ANALYSIS OF THE DIFFERENTIABILITY RANK ⋮ Computability of Differential Equations

This page was built for publication: Index sets for computable differential equations