Differential equations in constructive analysis and in the recursive realizability topos

DOI10.1016/0022-4049(84)90027-6zbMath0539.03041OpenAlexW2032779612MaRDI QIDQ793725

Andrej Scedrov

Publication date: 1984

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

Full work available at URL: https://doi.org/10.1016/0022-4049(84)90027-6

zbMATH Keywords

heat equationwave equationapproximate solutionsordinary differential equationsHeyting arithmeticcomputable analysiseffective toposrecursive solutionsconstructive theory of differential equationsPicard uniquenessrecursive realizability topos

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Categorical logic, topoi (03G30) Topoi (18B25) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)

Related Items

European Summer Meeting of the Association for Symbolic Logic ⋮ Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I

Cites Work

• 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
• A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
• A computable ordinary differential equation which possesses no computable solution
• Tripos theory
• Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
• The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations
• On the Nature of the Spectrum of Singular Second Order Linear Differential Equations