Index sets for computable differential equations

DOI10.1002/MALQ.200310102MaRDI QIDQ3159419zbMATH OpenOpenAlexFDO

Authors Douglas Cenzer, Jeffrey 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

computability over the realscomputable analysisindex set

Mathematics Subject Classification ID

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

Recommendations

• Index sets in computable analysis
• Index sets as a measure of continuous constraint complexity
• scientific article; zbMATH DE number 3853049
• Relatively computable functions of real variables
• A lightface analysis of the differentiability rank

Cited in

(4)

• Index sets in computable analysis
• A lightface analysis of the differentiability rank
• Index sets as a measure of continuous constraint complexity
• Computability of Differential Equations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3159419)