Differential equations in constructive analysis and in the recursive realizability topos

DOI10.1016/0022-4049(84)90027-6MaRDI QIDQ793725zbMATH OpenOpenAlexFDO

Authors Andre 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

approximate solutionscomputable analysisheat equationordinary differential equationswave equationeffective toposHeyting arithmeticrecursive solutionsconstructive theory of differential equationsPicard uniquenessrecursive realizability topos

Mathematics Subject Classification ID

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

Recommendations

• A hypertopology intended for functional differential equations
• scientific article; zbMATH DE number 52566
• The arithmetic and topology of differential equations
• Model theory and differential equations
• Topological methods for differential equations and inclusions
• scientific article; zbMATH DE number 2066334
• scientific article; zbMATH DE number 891121
• scientific article; zbMATH DE number 1531889
• scientific article; zbMATH DE number 3261864
• scientific article; zbMATH DE number 4154917

Cites work

• scientific article; zbMATH DE number 3839954 (Why is no real title available?)
• scientific article; zbMATH DE number 3825806 (Why is no real title available?)
• scientific article; zbMATH DE number 3664922 (Why is no real title available?)
• scientific article; zbMATH DE number 3720907 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3094494 (Why is no real title available?)
• A computable ordinary differential equation which possesses no computable solution
• A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
• On the Nature of the Spectrum of Singular Second Order Linear Differential Equations
• 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
• The wave equation with computable initial data such that its unique solution is not computable
• Tripos theory

Cited in

(7)

• European Summer Meeting of the Association for Symbolic Logic
• Constructive reverse investigations into differential equations
• On real-valued homomorphisms in countably generated differential structures
• scientific article; zbMATH DE number 3924774 (Why is no real title available?)
• scientific article; zbMATH DE number 52566 (Why is no real title available?)
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I

This page was built for publication: Differential equations in constructive analysis and in the recursive realizability topos

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